diff options
| author | Thomas Bauereiss | 2017-08-15 14:25:28 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-15 14:26:05 +0100 |
| commit | e9badcc77afe07e95a1ace1598d50875e5331893 (patch) | |
| tree | e74d720be4203b2d83d85667196aa3ffc7f951ee /src/pretty_print_lem.ml | |
| parent | 94fa8f92644209ca3ffb4242c98eb92c8d58e2ae (diff) | |
Improve and simplify handling of mutable local variables
Diffstat (limited to 'src/pretty_print_lem.ml')
| -rw-r--r-- | src/pretty_print_lem.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml index 586773ca..1b6c67c5 100644 --- a/src/pretty_print_lem.ml +++ b/src/pretty_print_lem.ml @@ -670,7 +670,8 @@ let doc_exp_lem, doc_let_lem = (doc_fexp regtypes early_ret recordtyp) fexps)) ^^ space) in if aexp_needed then parens epp else epp | E_record_update(e,(FES_aux(FES_Fexps(fexps,_),_))) -> - let recordtyp = match annot with + let (E_aux (_, (_, eannot))) = e in + let recordtyp = match eannot with | Some (env, Typ_aux (Typ_id tid,_), _) when Env.is_record tid env -> tid | _ -> raise (report l "cannot get record type") in |