diff options
| author | Alasdair Armstrong | 2017-10-03 16:16:46 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-03 16:16:46 +0100 |
| commit | ce905a7bd4b6a25f784f94fd926f818e8827d295 (patch) | |
| tree | f50991d61e1ed11ad36bf029578ea3038a868616 /src/pretty_print_lem.ml | |
| parent | 669bfc2cd34bda80e69ba6c75edbd3e4d57114cd (diff) | |
Fixes to new parser
Diffstat (limited to 'src/pretty_print_lem.ml')
| -rw-r--r-- | src/pretty_print_lem.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml index d40381b9..29f4cbf2 100644 --- a/src/pretty_print_lem.ml +++ b/src/pretty_print_lem.ml @@ -323,7 +323,7 @@ let rec doc_pat_lem sequential mwords apat_needed (P_aux (p,(l,annot)) as pa) = begin match id with | Id_aux (Id "None",_) -> string "Nothing" (* workaround temporary issue *) | _ -> doc_id_lem id end - | P_var kid -> doc_var_lem kid + | P_var(p,kid) -> parens (separate space [doc_pat_lem sequential mwords true p; string "as"; doc_var_lem kid]) | P_as(p,id) -> parens (separate space [doc_pat_lem sequential mwords true p; string "as"; doc_id_lem id]) | P_typ(typ,p) -> let doc_p = doc_pat_lem sequential mwords true p in |