From 26a79004e47bbdc97df61015ce7e944eef14ac71 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Mon, 8 Sep 2014 10:23:12 +0200
Subject: Parsing of Type@{max(i,j)}.

---
 grammar/q_constr.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'grammar')

diff --git a/grammar/q_constr.ml4 b/grammar/q_constr.ml4
index cf671adcb2..e1db0a05a3 100644
--- a/grammar/q_constr.ml4
+++ b/grammar/q_constr.ml4
@@ -30,7 +30,7 @@ EXTEND
   sort:
     [ [ "Set"  -> Misctypes.GSet
       | "Prop" -> Misctypes.GProp
-      | "Type" -> Misctypes.GType None ] ]
+      | "Type" -> Misctypes.GType [] ] ]
   ;
   ident:
     [ [ s = string -> <:expr< Names.Id.of_string $str:s$ >> ] ]
-- 
cgit v1.2.3