X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.ml;h=8954ec704af26b49dde3d8adcad6116fcee144ad;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=8f34f5bf728c141b88fe12cc8f97c3303cc45756;hpb=e89486cad653803954662a5e543537acd49a866f;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} *)