From 63f307e4cbec53919ce02d0ddcd7699a263a7f61 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 10 Jan 2012 20:31:44 +0000 Subject: [PATCH 1/1] patched version for old CamlP5 --- matita/components/content_pres/cicNotationParser.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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), -- 2.39.2