Multi-user matita: changed the status object to include a ``user'' method

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

diff --git a/matitaB/matita/applyTransformation.mli b/matitaB/matita/applyTransformation.mli
index 0aeec3f8cfed93922d74d03a7886f795e01853c9..5a399b663f10399b5bd0bdefd334060c34bf9736 100644 (file)
--- a/matitaB/matita/applyTransformation.mli
+++ b/matitaB/matita/applyTransformation.mli
@@ -36,6 +36,7 @@
 val use_high_level_pretty_printer: bool ref
 
 class status :
+ string option ->
  object
   inherit NCic.cstatus
   inherit Interpretations.status