diff options
| author | Christopher Pulte | 2016-09-25 15:14:12 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-09-25 15:14:12 +0100 |
| commit | dd052bfc3e00a1ae988044ae81dd1624332dd899 (patch) | |
| tree | 357d6e14136545dce7d0d120b7c1e5bccf27970d /src/pretty_print.ml | |
| parent | 6e7cee1575a7c49f4bdc30dfd6f25546c6c70995 (diff) | |
nicer lem output: no more unecessary 'unit' returns if if-expressions, for-loops or case-expressions also return updated variables
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 2d5974f2..e58beea4 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -2346,7 +2346,6 @@ let doc_exp_lem, doc_let_lem = (* temporary hack to make the loop body a function of the temporary variables *) | Id_aux ((Id (("foreach_inc" | "foreach_dec" | "foreachM_inc" | "foreachM_dec" ) as loopf),_)) -> - let call = doc_id_lem in let [id;indices;body;e5] = args in (match e5 with | E_aux (E_tuple vars,_) -> |