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_ast.ml | |
| parent | 669bfc2cd34bda80e69ba6c75edbd3e4d57114cd (diff) | |
Fixes to new parser
Diffstat (limited to 'src/pretty_print_lem_ast.ml')
| -rw-r--r-- | src/pretty_print_lem_ast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print_lem_ast.ml b/src/pretty_print_lem_ast.ml index a7631843..2c9cf83c 100644 --- a/src/pretty_print_lem_ast.ml +++ b/src/pretty_print_lem_ast.ml @@ -328,7 +328,7 @@ let rec pp_format_pat_lem (P_aux(p,(l,annot))) = | P_lit(lit) -> "(P_lit " ^ pp_format_lit_lem lit ^ ")" | P_wild -> "P_wild" | P_id(id) -> "(P_id " ^ pp_format_id_lem id ^ ")" - | P_var(kid) -> "(P_var " ^ pp_format_var_lem kid ^ ")" + | P_var(pat,kid) -> "(P_var " ^ pp_format_pat_lem pat ^ " " ^ pp_format_var_lem kid ^ ")" | P_as(pat,id) -> "(P_as " ^ pp_format_pat_lem pat ^ " " ^ pp_format_id_lem id ^ ")" | P_typ(typ,pat) -> "(P_typ " ^ pp_format_typ_lem typ ^ " " ^ pp_format_pat_lem pat ^ ")" | P_app(id,pats) -> "(P_app " ^ pp_format_id_lem id ^ " [" ^ |