* exit_handler: Removed print_dynamic_super_statistics.

diff --git a/src/cacao/cacao.c b/src/cacao/cacao.c
index ff0ee9194445a633dbe61722b03d0d9f2f55222b..ab2be8a2a41537ec4c1499798f3d3bd72e8a65b8 100644 (file)
--- a/src/cacao/cacao.c
+++ b/src/cacao/cacao.c
@@ -37,7 +37,7 @@
      - Calling the class loader
      - Running the main method
 
-   $Id: cacao.c 4004 2005-12-22 16:08:57Z twisti $
+   $Id: cacao.c 4085 2006-01-03 23:44:38Z twisti $
 
 */
 
@@ -1656,7 +1656,6 @@ void exit_handler(void)
 #ifdef TYPECHECK_STATISTICS
                        typecheck_print_statistics(get_logfile());
 #endif
-                       print_dynamic_super_statistics();
                }
 
                mem_usagelog(1);