From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 10 Jan 2012 20:31:44 +0000 (+0000)
Subject: patched version for old CamlP5
X-Git-Tag: make_still_working~1982
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=63f307e4cbec53919ce02d0ddcd7699a263a7f61;hp=bf4eb0f3a5b5ff262ad32271a8ba6f171e68c1f0;p=helm.git

patched version for old CamlP5
---

diff --git a/matita/components/content_pres/cicNotationParser.ml b/matita/components/content_pres/cicNotationParser.ml
index a9307012f..de300180c 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,false)
-          | Ast.List1 (_, Some l) -> Gramext.Slist1sep (s, gram_of_literal l,false)
+          | Ast.List0 (_, Some l) -> Gramext.Slist0sep (s, gram_of_literal l)
+          | Ast.List1 (_, Some l) -> Gramext.Slist1sep (s, gram_of_literal l)
           | _ -> assert false
         in
         [ Env (List.map Env.list_declaration p_names),