vmrunkernel: Handle the INTERRUPT_WINDOW exit; print more info on unhandled exits
[akaros.git] / tests / mcp_halt.c
index d0bc974..52fce18 100644 (file)
@@ -10,7 +10,7 @@
 #include <parlib/vcore.h>
 #include <parlib/mcs.h>
 #include <parlib/timing.h>
-#include <parlib/rassert.h>
+#include <parlib/assert.h>
 #include <parlib/event.h>
 #include <parlib/uthread.h>