X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.ml;h=c1bdfcc77f0d46fc5a4b7e0c20d42a901761ba3c;hb=eb5345bc1314ca8bf8b9ea2293dbe0aa496b2d69;hp=04d52cd9e3555a0cdb7c2a1eeec498644d7fdbaa;hpb=7deafec4fd4b2eebf4d4061f21ee5c47bd15b062;p=helm.git

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 04d52cd9e..c1bdfcc77 100644
--- 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