From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 10 Jan 2012 20:42:17 +0000 (+0000)
Subject: unpatched version for the new CamplP5
X-Git-Tag: make_still_working~1981
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=da71c09b8f4a42d3273fcbaea0cda3bceed1d949;p=helm.git

unpatched version for the new CamplP5
---

diff --git a/matita/components/content_pres/cicNotationParser.ml b/matita/components/content_pres/cicNotationParser.ml
index de300180c..38ce01676 100644
--- a/matita/components/content_pres/cicNotationParser.ml
+++ b/matita/components/content_pres/cicNotationParser.ml
@@ -209,8 +209,8 @@ let extract_term_production status pattern =
           match magic with
           | Ast.List0 (_, None) -> Gramext.Slist0 s
           | Ast.List1 (_, None) -> Gramext.Slist1 s
-          | Ast.List0 (_, Some l) -> Gramext.Slist0sep (s, gram_of_literal l)
-          | Ast.List1 (_, Some l) -> Gramext.Slist1sep (s, gram_of_literal l)
+          | Ast.List0 (_, Some l) -> Gramext.Slist0sep (s, gram_of_literal l, false)
+          | Ast.List1 (_, Some l) -> Gramext.Slist1sep (s, gram_of_literal l, false)
           | _ -> assert false
         in
         [ Env (List.map Env.list_declaration p_names),