diff --git a/compiler/heptagon/heptagon.ml b/compiler/heptagon/heptagon.ml
index 8a55bb0..eaee001 100644
--- a/compiler/heptagon/heptagon.ml
+++ b/compiler/heptagon/heptagon.ml
@@ -167,7 +167,7 @@ let mk_equation ?(statefull = true) desc =
 
 let mk_var_dec ?(last = Var) name ty  =
   { v_name = name; v_type = ty;
-    v_last = last; v_loc = Location.current_loc () }
+    v_last = last; v_loc = no_location }
 
 let mk_block ?(statefull = true) defnames eqs =
   { b_local = []; b_equs = eqs; b_defnames = defnames;
diff --git a/test/check b/test/check
index f7de73a..cf43449 100755
--- a/test/check
+++ b/test/check
@@ -6,7 +6,7 @@ shopt -s nullglob
 
 # script de test
 
-compilo=../compiler/hec.byte
+compilo=../compiler/heptc.byte
 coption=
 
 # compilateurs utilises pour les tests de gen. de code