make isGlobal a named parameter

goblint · Jan 24, 2024 · 21419ac · 21419ac
1 parent c882d85
commit 21419ac
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/common/util/richVarinfo.ml b/src/common/util/richVarinfo.ml
@@ -1,9 +1,9 @@
 open GoblintCil
 
-let create_var isGlobal name typ = Cilfacade.create_var @@ makeVarinfo isGlobal name typ
+let create_var ~isGlobal name typ = Cilfacade.create_var @@ makeVarinfo isGlobal name typ
 
 let single ~name typ =
-  let vi = lazy (create_var true name typ) in
+  let vi = lazy (create_var ~isGlobal:true name typ) in
   fun () ->
     Lazy.force vi
 
@@ -53,7 +53,7 @@ struct
     try
       XH.find !xh x
     with Not_found ->
-      let vi = create_var VT.isGlobal (X.name_varinfo x) VT.varType in
+      let vi = create_var ~isGlobal:VT.isGlobal (X.name_varinfo x) VT.varType in
       store_f x vi;
       vi