--- mono/mono/mini/mini.c	2006-04-14 19:47:03.000000000 +0200
+++ mono-patch_unity/mono/mini/mini.c	2006-05-06 19:32:49.000000000 +0200
@@ -10967,7 +11017,9 @@
 #endif
 
 	mono_domain_free (domain, TRUE);
-
+	
+	mono_trace_cleanup();
+	
 	mono_code_manager_destroy (global_codeman);
 	g_hash_table_destroy (jit_icall_name_hash);
 	if (class_init_hash_addr)
