From 252aef460fff9e965940820ac4b34c01aa184ae7 Mon Sep 17 00:00:00 2001
From: rlazarini <remi.lazarini@cea.fr>
Date: Fri, 9 Feb 2024 15:08:51 +0100
Subject: [PATCH] [ivette] fix : return reset on useServerFiel
---
ivette/src/frama-c/states.ts | 1 +
1 file changed, 1 insertion(+)
diff --git a/ivette/src/frama-c/states.ts b/ivette/src/frama-c/states.ts
index ba057a54d12..5f4634cbf58 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
};
}
--
GitLab