update in ground_2 and basic_2

[helm.git] / matitaB / matita / applyTransformation.mli

diff --git a/matitaB/matita/applyTransformation.mli b/matitaB/matita/applyTransformation.mli
index d5886abd8a7e8b82aff0fae35b121264238560d4..5a399b663f10399b5bd0bdefd334060c34bf9736 100644 (file)
--- a/matitaB/matita/applyTransformation.mli
+++ b/matitaB/matita/applyTransformation.mli
@@ -36,10 +36,11 @@
 val use_high_level_pretty_printer: bool ref
 
 class status :
+ string option ->
  object
   inherit NCic.cstatus
   inherit Interpretations.status
-  inherit TermContentPres.status
+  inherit TermContentPres.status 
  end
 
 val ntxt_of_cic_sequent: