try different print format for windows

This commit is contained in:
water
2020-09-08 20:55:48 -04:00
parent a47504b812
commit c04ab1a6ff
3 changed files with 4 additions and 7 deletions
+4
View File
@@ -150,7 +150,11 @@ void KernelCheckAndDispatch() {
printf("\n");
auto result =
call_goal(Ptr<Function>(ListenerFunction->value), 0, 0, 0, s7.offset, g_ee_main_mem);
#ifdef __linux__
cprintf("%ld\n", result);
#else
cprintf("%lld\n", result)
#endif
ListenerFunction->value = s7.offset;
}
}