diff options
Diffstat (limited to 'src/rewrites.ml')
| -rw-r--r-- | src/rewrites.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index 6158422e..950013ff 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -2281,6 +2281,7 @@ let rewrite_defs_letbind_effects = let exp = if newreturn then (* let typ = try typ_of exp with _ -> unit_typ in *) + let exp = annot_exp (E_cast (typ_of exp, exp)) l (env_of exp) (typ_of exp) in annot_exp (E_internal_return exp) l (env_of exp) (typ_of exp) else exp in |