cicNotation* ==> notation*

[helm.git] / matita / components / lexicon / cicNotation.ml

diff --git a/matita/components/lexicon/cicNotation.ml b/matita/components/lexicon/cicNotation.ml
index 7351596fab41eff480a476996d7d30ea62261e4d..28cab9458bc24305c0f21579fc584a71da0a2459 100644 (file)
--- a/matita/components/lexicon/cicNotation.ml
+++ b/matita/components/lexicon/cicNotation.ml
@@ -60,7 +60,7 @@ let process_notation st =
             let id =
               CicNotationParser.extend l1 
                 (fun env loc ->
-                  CicNotationPt.AttributedTerm
+                  NotationPt.AttributedTerm
                    (`Loc loc,TermContentPres.instantiate_level2 env l2)) in
             rule_id := [ RuleId id ];
             Hashtbl.add !rule_ids_to_items id item