diff options
Diffstat (limited to 'src/rewriter.ml')
| -rw-r--r-- | src/rewriter.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/rewriter.ml b/src/rewriter.ml index dab16ae4..8582f3b5 100644 --- a/src/rewriter.ml +++ b/src/rewriter.ml @@ -1596,7 +1596,10 @@ let rewrite_defs_letbind_effects = k (rewrap (E_comment str)) | E_comment_struc exp' -> n_exp exp' (fun exp' -> - k (rewrap (E_comment_struc exp'))) + k (rewrap (E_comment_struc exp'))) + | E_return exp' -> + n_exp_name exp' (fun exp' -> + k (rewrap (E_return exp'))) | E_internal_plet _ -> failwith "E_internal_plet should not be here yet" in let rewrite_fun _ (FD_aux (FD_function(recopt,tannotopt,effectopt,funcls),fdannot)) = |