1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly
index afb9c4139..1f65d7ba6 100644
--- a/parsing/parser.mly
+++ b/parsing/parser.mly
@@ -1213,6 +1213,8 @@ simple_core_type:
       { mktyp(Ptyp_variant(List.rev $2, not $3, List.rev $5)) }
   | LBRACKET RBRACKET
       { mktyp(Ptyp_variant([],true,[])) }
+  | LBRACKETLESS DOTDOT RBRACKET
+      { mktyp(Ptyp_variant([],false,[])) }
 ;
 opt_opened:
     BAR DOTDOT					{ true }