Fix bug with locations

14 years ago · 5f1b63b33a
parent 3b6ca84d8d
commit 5f1b63b33a
2 changed files with 2 additions and 2 deletions
--- 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;
--- 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