dir reorganization

[helm.git] / helm / ocaml / cic_disambiguation / disambiguateTypes.mli

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index 4d077f2f877f0c79314d2cb7b8884337e7454b05..4f4b3c3ecdb49d2d9acde5b8573dde45f968c214 100644 (file)
--- 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
-
+*)