X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2FprimitiveTactics.mli;h=ce5194ad133e4c1435ed6932189c86628f60916d;hb=56117fb4613ccd685861ca762954169c059467c8;hp=0f003bb4c0b0cbd94ce1e4419038af6f245714bd;hpb=9e18c7f8aa6c5b905598521c769c1a2f58c13262;p=helm.git

diff --git a/components/tactics/primitiveTactics.mli b/components/tactics/primitiveTactics.mli
index 0f003bb4c..ce5194ad1 100644
--- a/components/tactics/primitiveTactics.mli
+++ b/components/tactics/primitiveTactics.mli
@@ -81,4 +81,4 @@ val elim_intros_tac:
 
 (* inserts a hole in the context *)
 val letout_tac:
-  unit -> ProofEngineTypes.tactic 
+  ProofEngineTypes.tactic