1 files changed, 3 insertions, 3 deletions
diff --git a/abstract/abs_interp.ml b/abstract/abs_interp.ml
index c621734..1d3e20a 100644
--- a/abstract/abs_interp.ml
+++ b/abstract/abs_interp.ml
@@ -4,7 +4,8 @@ open Formula
 open Typing
 
 open Util
-open Environment_domain
+open Abs_domain
+open Num_domain
 
 module I (E : ENVIRONMENT_DOMAIN) : sig
 
@@ -36,8 +37,7 @@ end = struct
       let cl_g = Formula.conslist_of_f f_g in
 
       let env = List.fold_left
-        (fun env (_, id, ty) ->
-          E.addvar env id (ty = TReal))
+        (fun env (_, id, ty) -> E.addvar env id ty)
         E.init
         rp.all_vars
       in