diff --git a/src/main.ml b/src/main.ml
index 26cd578bbc7c0fe71b86a2d907fa01edbb4eada6..0be634e6e1dac3b8b7f0986dd8c96049bccb296f 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 11/03/2009 (at 16:17) by Erwan Jahier> *)
+(** Time-stamp: <modified the 19/01/2010 (at 15:49) by Erwan Jahier> *)
 
 (** Here follows a description of the different modules used by this lus2lic compiler.
 
@@ -303,6 +303,7 @@ let my_exit i =
 let main = (
   (* Compile.init_appli () ; *)
   parse_args ();
+  if Verbose.get_level() > 2 then Gc.set { (Gc.get ()) with Gc.verbose = 0x01 };
   if !Global.run_unit_test then (
     UnifyType.unit_test ();
     exit 0
@@ -321,6 +322,7 @@ let main = (
       dump_entete !Global.oc;
       Compile.doit nsl main_node;
       LicDump.dump_type_alias !Global.oc;
+      if Verbose.get_level() > 2 then Gc.print_stat stdout;
       close_out !Global.oc
   ) with
       Sys_error(s) ->