change

diff --git a/Robust/src/Runtime/STM/stm.c b/Robust/src/Runtime/STM/stm.c
index 230565330a7a6b768733bdc03a7e1fcadb01bb1c..6795af2898e64e40a18840e22c9e833c9174c0a9 100644 (file)
--- a/Robust/src/Runtime/STM/stm.c
+++ b/Robust/src/Runtime/STM/stm.c
@@ -303,6 +303,7 @@ void *objstrAlloc(unsigned int size) {
 #ifdef SANDBOX
 /* Do sandboxing */
 void errorhandler(int sig, struct sigcontext ctx) {
+  printf("Error\n");
   if (abortenabled&&checktrans())
     longjmp(aborttrans, 1);
   threadhandler(sig, ctx);