...

diff --git a/matita/matita/matita.ml b/matita/matita/matita.ml
index a149829230ff96ea619936c2ed98c0160117607d..240a614f2f48df075d480250b09834ef76cfe349 100644 (file)
--- a/matita/matita/matita.ml
+++ b/matita/matita/matita.ml
@@ -65,7 +65,8 @@ let script =
 
 let _ =
   Predefined_virtuals.load_predefined_virtuals ();
-  Predefined_virtuals.load_predefined_classes ();
+  Predefined_virtuals.load_predefined_classes ()
+;;
   
   (* math viewers *)
 let _ =
@@ -91,6 +92,7 @@ let _ =
   in
   script#addObserver sequents_observer;
   script#addObserver browser_observer
+;;
 
   (** {{{ Debugging *)
 let _ =