Update

Author: marcpouzet

src/compiler/main/zeluc.ml

@@ -82,6 +82,7 @@ and doc_set_steps = "\t Option to control source-to-source rewriting steps\n\
     \t\t lastinpatterns: add copies for lasts that are inputs or outputs \n\
     \t\t auto: remove automata statements \n\
     \t\t present: remove present statements \n\
+    \t\t exp2eq: remove pattern matching and resets on expressions \n\
     \t\t pre: remove pre/fby \n\
     \t\t reset: normalise resets; remove initialization (->) \n\
     \t\t complete: complete branches \n\

src/compiler/rewrite/rewrite.ml

@@ -83,7 +83,7 @@ let set_steps w =
       | "lastinpatterns" | "copylast"
     | "auto" | "present"
     | "pre" | "reset" | "complete" | "shared" | "encore" | "letin" 
-    | "schedule" | "aform" | "deadcode" | "copy" ->
+    | "schedule" | "aform" | "deadcode" | "copy" | "exp2seq" ->
        s_set := if p then S.add s !s_set else S.remove s !s_set
     | "" -> ()
     | _ -> raise (Arg.Bad ("unknown pass " ^ s)) in