snapshot, notably:

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

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 04d52cd9e3555a0cdb7c2a1eeec498644d7fdbaa..c1bdfcc77f0d46fc5a4b7e0c20d42a901761ba3c 100644 (file)
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -195,7 +195,6 @@ class gui file =
 
   end
 
-let instance =
-  let gui = lazy (new gui (Helm_registry.get "matita.glade_file")) in
-  fun () -> Lazy.force gui
+let gui () = new gui (Helm_registry.get "matita.glade_file")
+let instance = singleton gui