Directly use Apron.Var.t

Co-authored-by: Simmo Saan <[email protected]>
goblint · Dec 7, 2023 · 4fae8c6 · 4fae8c6
1 parent 029c1e9
commit 4fae8c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/apron/apronAnalysis.apron.ml b/src/analyses/apron/apronAnalysis.apron.ml
@@ -14,7 +14,7 @@ let spec_module: (module MCPSpec) Lazy.t =
     struct
       module V = ApronDomain.V
       include AD
-      type var = GobApron.Var.t
+      type var = Apron.Var.t
     end
     in
     let module Priv = (val RelationPriv.get_priv ()) in