Try with cil.addNestedScopeAttr always set to true

goblint · Oct 4, 2023 · 3341470 · 3341470
1 parent e052544
commit 3341470
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/util/cilfacade.ml b/src/util/cilfacade.ml
@@ -41,8 +41,8 @@ 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" = true then
-    Cabs2cil.addNestedScopeAttr := true
+  (* if get_bool "cil.addNestedScopeAttr" = true then *)
+  Cabs2cil.addNestedScopeAttr := true
 
 let init () =
   initCIL ();