1. reset of statuses simplified

[helm.git] / matita / matita / matitaScript.mli

diff --git a/matita/matita/matitaScript.mli b/matita/matita/matitaScript.mli
index 0c12679f121586b926948d0f1d2a8bd6438f30f9..2152c5eea8d3d16610f23961a449983b2db0d250 100644 (file)
--- a/matita/matita/matitaScript.mli
+++ b/matita/matita/matitaScript.mli
@@ -34,7 +34,7 @@ object
   method error_tag : GText.tag
 
     (** @return current status *)
-  method grafite_status: GrafiteTypes.status
+  method status: GrafiteTypes.status
     
   (** {2 Observers} *)