X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.mli;h=ccde1a4e85690dc66374e93a67deffc9558f8fc7;hp=2849a858ca88230e9b686b5165988a47ae2abd27;hb=7a72e5c5129c814e567f03e14d752eff4086fb52;hpb=e89486cad653803954662a5e543537acd49a866f

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index 2849a858c..ccde1a4e8 100644
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -62,7 +62,5 @@ val string_of_domain: domain_item list -> string
 
 type term = CicAst.term
 type tactic = (term, string) TacticAst.tactic
-type tactical = (term, string) TacticAst.tactic TacticAst.tactical
-type command = term CommandAst.command
-type script = term CommandAst.Script.script
+type tactical = (term, string) TacticAst.tactical