diff --git a/ivette/src/frama-c/states.ts b/ivette/src/frama-c/states.ts index ba057a54d120513be3521af918d643771e9d2970..5f4634cbf586196079f04c43de21b4d19f3c1288 100644 --- a/ivette/src/frama-c/states.ts +++ b/ivette/src/frama-c/states.ts @@ -332,6 +332,7 @@ export function useServerField<A>( return { value: localValue ?? defaultValue, error: localError, + reset: value, onChanged: update }; }