Debugging message removed.

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

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index 5fbcc4092eeddfda379ddc682765bfb292cfaa67..63a6ed007aab91a4f09f8e4f63c4075b6fd6b9f4 100644 (file)
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -436,7 +436,6 @@ List.iter (fun s -> prerr_endline ("'" ^ s ^ "'")) new_statements;
     observers <- o :: observers
 
   method private notify =
-prerr_endline ("************* NOTIFICATO");
     let status = self#status in
     List.iter (fun o -> o status) observers