diff --git a/ivette/src/frama-c/plugins/eva/EvaReady/index.tsx b/ivette/src/frama-c/plugins/eva/EvaReady/index.tsx index c35354ba7231bae8bc70ce5dbbdc810cd72748e7..026a9e3396ddcd55ef300027690ac99a7a86b691 100644 --- a/ivette/src/frama-c/plugins/eva/EvaReady/index.tsx +++ b/ivette/src/frama-c/plugins/eva/EvaReady/index.tsx @@ -41,7 +41,7 @@ class AckAbortedState extends GlobalState<boolean> { setupSignalHooks(): void { if (!this.#signalHookSet) { onSignal(Eva.signalComputationState, - () => ackAbortedState.setValue(false)); + () => this.setValue(false)); this.#signalHookSet = true; } }