diff --git a/src/cpu/core_normal/prefix_none.h b/src/cpu/core_normal/prefix_none.h
index 0e40cd8c..040e1786 100644
--- a/src/cpu/core_normal/prefix_none.h
+++ b/src/cpu/core_normal/prefix_none.h
@@ -754,8 +754,8 @@
 			break;
 		}
 	CASE_B(0xcc)												/* INT3 */
-#if C_DEBUG	
 		LEAVECORE;
+#if C_DEBUG	
 		if (DEBUG_Breakpoint()) {
 			return debugCallback;
 		}