X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FstatefulProofEngine.ml;h=94710c412e034972ab65212f0497dd48098e7871;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=1c970249c78faed48ced7d1df0d7692d6cb7cf91;hpb=e4b873cd8511753e65319d02fcdd5473214f42a5;p=helm.git

diff --git a/helm/ocaml/tactics/statefulProofEngine.ml b/helm/ocaml/tactics/statefulProofEngine.ml
index 1c970249c..94710c412 100644
--- a/helm/ocaml/tactics/statefulProofEngine.ml
+++ b/helm/ocaml/tactics/statefulProofEngine.ml
@@ -183,7 +183,7 @@ class ['a] status
       let old_internal_status = self#internal_status in
       let (new_proof, new_goals) =
         try
-          tactic (_proof, self#active_goal)
+          ProofEngineTypes.apply_tactic tactic (_proof, self#active_goal)
         with exn -> raise (Tactic_failure exn)
       in
       _proof <- new_proof;