Fix transform_ght for changed global invariant type

goblint · Jan 20, 2022 · 3f4a3cd · 3f4a3cd
1 parent 3acd89c
commit 3f4a3cd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/state/gvGoblint.ml b/src/state/gvGoblint.ml
@@ -113,10 +113,10 @@ module Make
     in
     let f k v =
       match v with
-      | `Assoc l -> List.iter (fun (a, r) -> insert_analysis_result a (Spec.V.show k) r) l
+      | `Assoc l -> List.iter (fun (a, r) -> insert_analysis_result a (EQSys.GVar.show k) r) l
       | _ -> failwith "Not sure if this is supposed to happen."
     in
-    gh |> GHT.map (fun _ -> representation_of_yojson % GSpec.to_yojson) |> GHT.iter f;
+    gh |> GHT.map (fun _ -> representation_of_yojson % EQSys.G.to_yojson) |> GHT.iter f;
     Hashtbl.to_list tbl
 
   let dot_of_fundec (fd : Cil.fundec) =