diff options
| -rw-r--r-- | contrib/extraction/ocaml.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml index db64c1e727..42b7cbf9c3 100644 --- a/contrib/extraction/ocaml.ml +++ b/contrib/extraction/ocaml.ml @@ -167,6 +167,7 @@ let rec pp_type par ren t = let expr_needs_par = function | MLlam _ -> true + | MLcase (_,[|_|]) -> false | MLcase _ -> true | _ -> false |