From 3600f2cd55716550c4d9f78f05d43b6f33fd402e Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 21 Dec 2018 18:22:03 +0100
Subject: Simplify parsing of instance binders

---
 vernac/g_vernac.mlg | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/vernac/g_vernac.mlg b/vernac/g_vernac.mlg
index 0d3617b162..8ffdf74383 100644
--- a/vernac/g_vernac.mlg
+++ b/vernac/g_vernac.mlg
@@ -809,9 +809,8 @@ GRAMMAR EXTEND Gram
       | IDENT "transparent" -> { Conv_oracle.transparent } ] ]
   ;
   instance_name:
-    [ [ name = ident_decl; sup = OPT binders ->
-          { (CAst.map (fun id -> Name id) (fst name), snd name),
-          (Option.default [] sup) }
+    [ [ name = ident_decl; bl = binders ->
+          { (CAst.map (fun id -> Name id) (fst name), snd name), bl }
       | -> { ((CAst.make ~loc Anonymous), None), []  } ] ]
   ;
   hint_info:
-- 
cgit v1.2.3