From fc587e75d2d5d6e67365a9bc3a13ba5c86aba87b Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 29 Jun 2017 16:32:05 +0200
Subject: Allow empty instance parsing @{}

---
 parsing/g_constr.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4
index 7d0728458b..4e8b98fcf2 100644
--- a/parsing/g_constr.ml4
+++ b/parsing/g_constr.ml4
@@ -301,7 +301,7 @@ GEXTEND Gram
       | -> [] ] ]
   ;
   instance:
-    [ [ "@{"; l = LIST1 universe_level; "}" -> Some l
+    [ [ "@{"; l = LIST0 universe_level; "}" -> Some l
       | -> None ] ]
   ;
   universe_level:
-- 
cgit v1.2.3