diff options
| author | Kathy Gray | 2015-05-28 14:46:09 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-05-28 14:46:09 +0100 |
| commit | 471607a45b814244e19704c221e1735d250f9b59 (patch) | |
| tree | f555b94173ad05fa53ca8dda537303eaeb5611c2 /src/pretty_print.ml | |
| parent | 7df8c1b69c3a070159aadde18f72ba595986a61e (diff) | |
fix pattern matching bug on concatenated vectors
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 359335d3..3f167ffc 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -786,7 +786,7 @@ let doc_pat, doc_atomic_pat = and app_pat ((P_aux(p,l)) as pa) = match p with | P_app(id, ((_ :: _) as pats)) -> doc_unop (doc_id id) (parens (separate_map comma_sp atomic_pat pats)) | _ -> atomic_pat pa - and atomic_pat ((P_aux(p,l)) as pa) = match p with + and atomic_pat ((P_aux(p,(l,annot))) as pa) = match p with | P_lit lit -> doc_lit lit | P_wild -> underscore | P_id id -> doc_id id |