From 80260ef6574d1891f7b3db3bf335f4ac08c8dd51 Mon Sep 17 00:00:00 2001
From: Runhang Li <runhang@posteo.de>
Date: Thu, 8 Oct 2015 13:37:25 -0700
Subject: [PATCH] Disallow ``::'' for consistency

---
 parsing/parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/parser.mly b/parsing/parser.mly
index e3a2387d5..e9c5842ca 100644
--- a/parsing/parser.mly
+++ b/parsing/parser.mly
@@ -2224,7 +2224,7 @@ constr_ident:
     UIDENT                                      { $1 }
   | LBRACKET RBRACKET                           { "[]" }
   | LPAREN RPAREN                               { "()" }
-  | COLONCOLON                                  { "::" }
+  /* | COLONCOLON                               { "::" } */
   | LPAREN COLONCOLON RPAREN                    { "::" }
   | FALSE                                       { "false" }
   | TRUE                                        { "true" }