From 4fae8c62af777b3199cd63525cb88ae212206d8e Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Thu, 7 Dec 2023 11:22:34 +0100
Subject: [PATCH] Directly use `Apron.Var.t`

Co-authored-by: Simmo Saan <simmo.saan@gmail.com>
---
 src/analyses/apron/apronAnalysis.apron.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/analyses/apron/apronAnalysis.apron.ml b/src/analyses/apron/apronAnalysis.apron.ml
index 72dc81c121..0ba17cdb35 100644
--- 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