--- trunk/src/cpus/generate_head.c	2007/10/08 16:20:03	25
+++ trunk/src/cpus/generate_head.c	2007/10/08 16:20:10	26
@@ -25,7 +25,7 @@
  *  SUCH DAMAGE.
  *
  *
- *  $Id: generate_head.c,v 1.15 2006/04/19 18:55:57 debug Exp $
+ *  $Id: generate_head.c,v 1.17 2006/06/24 21:47:23 debug Exp $
  */
 
 #include <stdio.h>
@@ -71,6 +71,9 @@
 
 	printf("\n/*  AUTOMATICALLY GENERATED! Do not edit.  */\n\n");
 
+	printf("#include <assert.h>\n");
+	printf("#include \"debugger.h\"\n");
+
 	printf("#define DYNTRANS_MAX_VPH_TLB_ENTRIES "
 	    "%s_MAX_VPH_TLB_ENTRIES\n", uppercase(a));
 	printf("#define DYNTRANS_ARCH %s\n", a);