Skip to content
Snippets Groups Projects
Commit 0615acc7 authored by David Bühler's avatar David Bühler
Browse files

Merge branch 'fix/ivette/mr4168-typo' into 'master'

[Ivette] fix a typo that has currently no bad consequences

See merge request frama-c/frama-c!4182
parents 905cf3b6 95212c70
No related branches found
No related tags found
No related merge requests found
...@@ -41,7 +41,7 @@ class AckAbortedState extends GlobalState<boolean> { ...@@ -41,7 +41,7 @@ class AckAbortedState extends GlobalState<boolean> {
setupSignalHooks(): void { setupSignalHooks(): void {
if (!this.#signalHookSet) { if (!this.#signalHookSet) {
onSignal(Eva.signalComputationState, onSignal(Eva.signalComputationState,
() => ackAbortedState.setValue(false)); () => this.setValue(false));
this.#signalHookSet = true; this.#signalHookSet = true;
} }
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment