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

diff --git a/helm/software/components/tactics/auto.mli b/helm/software/components/tactics/auto.mli
index c8a9224cb..557d78194 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 * (string * string) list 
+type auto_params = Cic.term list option * (string * string) list 
 
 val auto_tac:
   dbd:HSql.dbd ->