X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPres.ml;fp=helm%2Focaml%2Fcic_notation%2FcicNotationPres.ml;h=c6b006f421cf8cf2f44efe7dfc7c723a3e42cefe;hb=34113d572c334c351ba66f4b05db503eed4d48f2;hp=4b47b9014807f37596ff164727f193983e35f2d1;hpb=7df7f06d2bc2a3fe1fe95aab957cef480d27eb86;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPres.ml b/helm/ocaml/cic_notation/cicNotationPres.ml
index 4b47b9014..c6b006f42 100644
--- a/helm/ocaml/cic_notation/cicNotationPres.ml
+++ b/helm/ocaml/cic_notation/cicNotationPres.ml
@@ -33,10 +33,6 @@ let binder_attributes = [None, "mathcolor", "blue"]
 let indent_attributes = [None, "indent", "1em"]
 let keyword_attributes = [None, "mathcolor", "blue"]
 
-let mpres_arrow = Mpresentation.Mo (binder_attributes, "->")
-  (* TODO unicode symbol "to" *)
-let mpres_implicit = Mpresentation.Mtext ([], "?")
-
 let to_unicode s =
   try
     if s.[0] = '\\' then