Commit f87d7ba9 authored by POTTIER Francois's avatar POTTIER Francois

A space.

parent 3ced3345
...@@ -18,7 +18,7 @@ let rec typ0 ty = ...@@ -18,7 +18,7 @@ let rec typ0 ty =
| TyArrow _ | TyArrow _
| TyProduct _ | TyProduct _
| TyForall _ -> | TyForall _ ->
parens (typ ty) parens (typ ty)
and typ1 ty = and typ1 ty =
match ty with match ty with
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment