From 95212c70a2cdb3e9cbb32a13d9cbcee0577a7e8d Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 9 May 2023 16:08:50 +0200
Subject: [PATCH] [Ivette] fix a typo that has currently no bad consequences
---
ivette/src/frama-c/plugins/eva/EvaReady/index.tsx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/EvaReady/index.tsx b/ivette/src/frama-c/plugins/eva/EvaReady/index.tsx
index c35354ba723..026a9e3396d 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;
}
}
--
GitLab