From 7d0eb42050cb4f75c95cefb11c0cac5efa32f40a Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sun, 26 Nov 2017 19:34:14 +0100
Subject: A cosmetic standardization: adding a space in g_constr.ml4.

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

(limited to 'parsing')

diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4
index 6af8f0b9e..7e5933cea 100644
--- a/parsing/g_constr.ml4
+++ b/parsing/g_constr.ml4
@@ -391,7 +391,7 @@ GEXTEND Gram
           | _ -> CErrors.user_err
                  ?loc:(cases_pattern_expr_loc p) ~hdr:"compound_pattern"
                  (Pp.str "Such pattern cannot have arguments."))
-      |"@"; r = Prim.reference; lp = LIST0 NEXT ->
+      | "@"; r = Prim.reference; lp = LIST0 NEXT ->
         CAst.make ~loc:!@loc @@ CPatCstr (r, Some lp, []) ]
     | "1" LEFTA
       [ c = pattern; "%"; key=IDENT -> CAst.make ~loc:!@loc @@ CPatDelimiters (key,c) ]
-- 
cgit v1.2.3