Fix incomplete description

goblint · Feb 10, 2025 · 9f6bf24 · 9f6bf24
1 parent 3fca576
commit 9f6bf24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/autoSoundConfig.ml b/src/util/autoSoundConfig.ml
@@ -65,4 +65,4 @@ let activateLongjmpAnalysesWhenRequired () =
     | _ -> false
   in
   if hasFunction isLongjmp then
-    enableAnalyses "Longjmp" "longjmp" longjmpAnalyses;
+    enableAnalyses "Longjmp" "longjmp analyses" longjmpAnalyses;