Release 0.5.9.

[helm.git] / helm / software / components / tactics / auto.mli

diff --git a/helm/software/components/tactics/auto.mli b/helm/software/components/tactics/auto.mli
index 557d78194dcf7d82e2f39df30fb21414910718be..c8a9224cb9fec6266e1388a469e0ebcf23645a39 100644 (file)
--- 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 ->