From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 21 Dec 2010 01:11:15 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~2636
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e989997724df0d1b075817d71b70d0a066fe403e;p=helm.git

...
---

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 _ =