From f09792485efe956f565c5a6596b07535680fe1b3 Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Wed, 7 Mar 2012 17:44:29 +0100
Subject: [PATCH] Hept2mls: fixed missing enter_node

---
 compiler/main/hept2mls.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/main/hept2mls.ml b/compiler/main/hept2mls.ml
index a7e23c9..1480ea0 100644
--- a/compiler/main/hept2mls.ml
+++ b/compiler/main/hept2mls.ml
@@ -187,6 +187,7 @@ let translate_contract contract =
                c_controllables = List.map translate_var l_c }
 
 let node n =
+  enter_node n.Heptagon.n_name;
   { n_name = n.Heptagon.n_name;
     n_stateful = n.Heptagon.n_stateful;
     n_unsafe = n.Heptagon.n_unsafe;