snapshot (notably: first working version of the console)

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

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 8f34f5bf728c141b88fe12cc8f97c3303cc45756..8954ec704af26b49dde3d8adcad6116fcee144ad 100644 (file)
--- 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} *)