1 files changed, 3 insertions, 4 deletions
diff --git a/util/vgabios/int15.c b/util/vgabios/int15.c
index 239b6beef5..a1235bbbf7 100644
--- a/util/vgabios/int15.c
+++ b/util/vgabios/int15.c
@@ -1,12 +1,11 @@
 #include <stdio.h>
-#include "test.h"
-
-void x86emu_dump_xregs();
+#include <stdtypes.h>
+#include "testbios.h"
 
 int int15_handler(void)
 {
 	printf("\nint15 encountered.\n");
-	//x86emu_dump_xregs();
+	x86emu_dump_xregs();
 	X86_EAX = 0;
 	return 1;
 }