diff options
Diffstat (limited to 'src/pretty_print_common.ml')
| -rw-r--r-- | src/pretty_print_common.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/pretty_print_common.ml b/src/pretty_print_common.ml index 83c28a7d..5cf85002 100644 --- a/src/pretty_print_common.ml +++ b/src/pretty_print_common.ml @@ -177,7 +177,6 @@ let doc_typ, doc_atomic_typ, doc_nexp, doc_nexp_constraint = and atomic_typ ((Typ_aux (t, _)) as ty) = match t with | Typ_id id -> doc_id id | Typ_var v -> doc_var v - | Typ_wild -> underscore | Typ_app _ | Typ_tup _ | Typ_fn _ -> (* exhaustiveness matters here to avoid infinite loops * if we add a new Typ constructor *) |