X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2Fauto.mli;h=c8a9224cb9fec6266e1388a469e0ebcf23645a39;hb=a90c31c1b53222bd6d57360c5ba5c2d0fe7d5207;hp=557d78194dcf7d82e2f39df30fb21414910718be;hpb=4377e950998c9c63937582952a79975947aa9a45;p=helm.git

diff --git a/helm/software/components/tactics/auto.mli b/helm/software/components/tactics/auto.mli
index 557d78194..c8a9224cb 100644
--- a/helm/software/components/tactics/auto.mli
+++ b/helm/software/components/tactics/auto.mli
@@ -23,7 +23,7 @@
  * http://cs.unibo.it/helm/.
  *)
 
-type auto_params = Cic.term list option * (string * string) list 
+type auto_params = Cic.term list * (string * string) list 
 
 val auto_tac:
   dbd:HSql.dbd ->