From 3f4a3cdd56c9f4d2c5548d15eac3bb58b670dd1a Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Thu, 20 Jan 2022 14:05:27 +0200 Subject: [PATCH] Fix transform_ght for changed global invariant type --- src/state/gvGoblint.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/state/gvGoblint.ml b/src/state/gvGoblint.ml index fb589ee..2c40857 100644 --- 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) =