fix bug

diff --git a/Robust/src/Runtime/STM/sandbox.c b/Robust/src/Runtime/STM/sandbox.c
index 084332fae00f568a2a7e3b60fc93519a20d3781a..c3d9ccf34ae0901cdfb50fb3632de1ffcb011eb9 100644 (file)
--- a/Robust/src/Runtime/STM/sandbox.c
+++ b/Robust/src/Runtime/STM/sandbox.c
@@ -39,7 +39,7 @@ void checkObjects() {
 }
 
 #ifdef D___System______Assert____Z
-CALL11(___System______Assert____Z, int ___status___, int ___status___) {
+void CALL11(___System______Assert____Z, int ___status___, int ___status___) {
   if (!___status___) {
     if (abortenabled&&checktrans()) {
 #ifdef TRANSSTATS