Simplify marshal

goblint · Dec 4, 2023 · 4a848e4 · 4a848e4
1 parent d1b6228
commit 4a848e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomains/apron/apronDomain.apron.ml b/src/cdomains/apron/apronDomain.apron.ml
@@ -258,7 +258,7 @@ struct
   let vars x = Environment.ivars_only @@ A.env x
 
   let marshal (x: t): marshal =
-    let vars = Array.map Var.to_string (Array.of_list (Environment.ivars_only (A.env x))) in
+    let vars = Array.map Var.to_string (Array.of_list (vars x)) in
     x.abstract0, vars
 
   let mem_var d v = Environment.mem_var (A.env d) v