diff --git a/compiler/heptagon/parsing/scoping.ml b/compiler/heptagon/parsing/scoping.ml
index 4b31eac..434e39c 100644
--- a/compiler/heptagon/parsing/scoping.ml
+++ b/compiler/heptagon/parsing/scoping.ml
@@ -108,10 +108,9 @@ let op_from_app loc app =
     | Ecall { op_name = op; op_kind = Efun } -> op_from_app_name op
     | _ -> Error.message loc Error.Estatic_exp_expected
 
-let check_const_vars = ref true
 let rec static_exp_of_exp const_env e = match e.e_desc with
   | Evar n ->
-      if !check_const_vars & not (NamesEnv.mem n const_env) then
+      if not (NamesEnv.mem n const_env) then
         Error.message e.e_loc (Error.Econst_var n)
       else
         Svar n
@@ -190,7 +189,7 @@ and translate_desc loc const_env env = function
       if Rename.mem x env then (* defined var *)
         Heptagon.Evar (Rename.name loc env x)
       else if NamesEnv.mem x const_env then (* defined as const var *)
-        Heptagon.Econstvar x
+        Heptagon.Econst (Svar x)
       else (* undefined var *)
         Error.message loc (Error.Evar x)
   | Elast x -> Heptagon.Elast (Rename.name loc env x)
diff --git a/compiler/minils/minils.ml b/compiler/minils/minils.ml
index df3e373..238fe08 100644
--- a/compiler/minils/minils.ml
+++ b/compiler/minils/minils.ml
@@ -85,13 +85,6 @@ and link =
   | Cindex of int
   | Clink of ck
 
-and const =
-  | Cint of int
-  | Cfloat of float
-  | Cconstr of longname
-  | Carray of static_exp * const
-  | Cop of
-
 and pat =
   | Etuplepat of pat list
   | Evarpat of ident