bump threshold

goblint · Oct 1, 2023 · df6a5fc · df6a5fc
1 parent 86cec52
commit df6a5fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/frontc/cabs2cil.ml b/src/frontc/cabs2cil.ml
@@ -565,7 +565,7 @@ let alphaConvertVarAndAddToEnv (addtoenv: bool) (vi: varinfo) : varinfo =
   (* Store all locals in the slocals (in reversed order). We'll reverse them
      and take out the formals at the end of the function *)
   if not vi.vglob then(
-    if List.length !scopes > 1 then
+    if List.length !scopes > 2 then
       newvi.vattr <- Attr("goblint_cil_nested", []) :: newvi.vattr;
     !currentFunctionFDEC.slocals <- newvi :: !currentFunctionFDEC.slocals)
   ;