Set Cabs2cil.addNestedScopeAttr based on the Goblint config option

Co-authored-by: Michael Schwarz <[email protected]>
goblint · Oct 6, 2023 · 91aeee7 · 91aeee7
1 parent fbab25e
commit 91aeee7
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/util/cilfacade.ml b/src/util/cilfacade.ml
@@ -41,8 +41,7 @@ let init_options () =
   Mergecil.merge_inlines := get_bool "cil.merge.inlines";
   Cil.cstd := Cil.cstd_of_string (get_string "cil.cstd");
   Cil.gnu89inline := get_bool "cil.gnu89inline";
-  if get_bool "cil.addNestedScopeAttr" then
-    Cabs2cil.addNestedScopeAttr := true
+  Cabs2cil.addNestedScopeAttr := get_bool "cil.addNestedScopeAttr";
 
 let init () =
   initCIL ();