X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTactics.ml;h=f6d8bfaec3055f456c70615207ed3fc74f98aa8b;hb=61d514611fc8434164c4275e7b59f81617104ef3;hp=019aac2f1e328e8ca78b2331b218b42608a237c3;hpb=8e16a71ad825a0ed0a73ff32f14a69bc927c1a9d;p=helm.git

diff --git a/helm/software/components/ng_tactics/nTactics.ml b/helm/software/components/ng_tactics/nTactics.ml
index 019aac2f1..f6d8bfaec 100644
--- a/helm/software/components/ng_tactics/nTactics.ml
+++ b/helm/software/components/ng_tactics/nTactics.ml
@@ -22,7 +22,7 @@ module Ast = CicNotationPt
 
 let id_tac status = status ;;
 let print_tac print_status message status = 
-  if print_status then pp_status status;
+  if print_status then pp_tac_status status;
   prerr_endline message; 
   status
 ;;