X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.ml;h=8954ec704af26b49dde3d8adcad6116fcee144ad;hb=4cf419a2e770f4971be7b03b1d73e585d973dc1b;hp=8f34f5bf728c141b88fe12cc8f97c3303cc45756;hpb=9af598ece6749c1854799f5aa83133b9e3da052c;p=helm.git

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 8f34f5bf7..8954ec704 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -33,7 +33,9 @@ let (get_proof, set_proof, has_proof) =
     match !current_proof with
     | Some proof -> proof
     | None -> failwith "No current proof"),
-   (fun proof -> current_proof := proof),
+   (fun proof ->  (* TODO Zack: this function should probably be smarter taking
+               care also of unregistering notifications subscriber and so on *)
+     current_proof := proof),
    (fun () -> !current_proof <> None))
 
 (** {2 Settings} *)