X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTacStatus.mli;h=1feac415baec232ebd9fdeeeb6fbc031156de2fd;hb=d7f32114f3806b51c2ee483dcb5a86e08d086a72;hp=4ca302890808c584c32bfcef9cc810700ca7396e;hpb=8f4bb4db3597080b57d957eb444e58e032da2d78;p=helm.git

diff --git a/helm/software/components/ng_tactics/nTacStatus.mli b/helm/software/components/ng_tactics/nTacStatus.mli
index 4ca302890..1feac415b 100644
--- a/helm/software/components/ng_tactics/nTacStatus.mli
+++ b/helm/software/components/ng_tactics/nTacStatus.mli
@@ -65,4 +65,6 @@ val select_term:
   lowtac_status -> cic_term -> ast_term option * NCic.term ->
     lowtac_status * cic_term
 
+val pp_tac_status: tac_status -> unit
+
 (* end *)