diff --git a/src/compiler/common/aux.ml b/src/compiler/common/aux.ml
index f427c041..84dfc997 100644
--- a/src/compiler/common/aux.ml
+++ b/src/compiler/common/aux.ml
@@ -174,7 +174,9 @@ let rec eq_let_list leq_list eq =
 
 and eq_let leq eq =
   eqmake eq.eq_write (EQlet(leq, eq))
-    
+
+let e_let leq e = emake (Elet(leq, e))
+
 let pat_of_vardec_make { var_name } = pat_make var_name
 
 let pat_of_vardec_list_make vardec_list =
diff --git a/src/dune b/src/dune
index 6bd7252e..bf18fb89 100644
--- a/src/dune
+++ b/src/dune
@@ -163,6 +163,7 @@
              ; all variables in patterns must be value (remove last)
     automata ; rewrite automata into match/reset
     present ; rewrite present into match
+    exp2eq ; translate match and reset expressions into their equational form
     pre ; rewrite fby/fby into (init/last)
     period ; translate periods into horizons
     encore ; add horizons [horizon h = 0.0] for zero-crossings