From e989997724df0d1b075817d71b70d0a066fe403e Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 21 Dec 2010 01:11:15 +0000
Subject: [PATCH] ...

---
 matita/matita/matita.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/matita/matita/matita.ml b/matita/matita/matita.ml
index a14982923..240a614f2 100644
--- 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 _ =
-- 
2.39.2