X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.ml;h=a5e0f96f838b48b1e04cacc3aa2cae96ad11d8f8;hb=7a72e5c5129c814e567f03e14d752eff4086fb52;hp=358f2d49ec99ea62d790bd0b74daa076b0d891ef;hpb=e89486cad653803954662a5e543537acd49a866f;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.ml b/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
index 358f2d49e..a5e0f96f8 100644
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
@@ -25,9 +25,7 @@
 
 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
 
 type domain_item =
  | Id of string               (* literal *)