X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.mli;h=4f4b3c3ecdb49d2d9acde5b8573dde45f968c214;hb=2b2b90087f836c2f32291935216549e9370e68c3;hp=4d077f2f877f0c79314d2cb7b8884337e7454b05;hpb=2bb6c98121db82a1c67565bb528787f2def7192d;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index 4d077f2f8..4f4b3c3ec 100644
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -84,6 +84,7 @@ val string_of_domain: domain_item list -> string
 
 (** {3 type shortands} *)
 
+(*
 type term = CicNotationPt.term
 type tactic = (term, term, GrafiteAst.reduction, string) GrafiteAst.tactic
 type tactical = (term, term, GrafiteAst.reduction, string) GrafiteAst.tactical
@@ -92,6 +93,4 @@ type script_entry =
   | Command of tactical
   | Comment of CicNotationPt.location * string
 type script = CicNotationPt.location * script_entry list
-
-val dummy_floc: Lexing.position * Lexing.position
-
+*)