X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTacStatus.mli;h=ce3fd33b03c39da2b2a57f11d7da65c3e6e1a7b3;hb=86ff79af764c2a434fdf38ea344ab722811981c8;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..ce3fd33b0 100644
--- a/helm/software/components/ng_tactics/nTacStatus.mli
+++ b/helm/software/components/ng_tactics/nTacStatus.mli
@@ -59,10 +59,10 @@ val mk_meta:
      lowtac_status * cic_term
 val instantiate: lowtac_status -> int -> cic_term -> lowtac_status
 
-val in_scope_tag: string
-val out_scope_tag: string
 val select_term:
   lowtac_status -> cic_term -> ast_term option * NCic.term ->
     lowtac_status * cic_term
 
+val pp_tac_status: tac_status -> unit
+
 (* end *)