Bug fix: should use unsigned int instead of int for pointers in shared heap. Also...

[IRC.git] / Robust / src / Runtime / runtime.h

diff --git a/Robust/src/Runtime/runtime.h b/Robust/src/Runtime/runtime.h
index 291244b3ab16de4b927d4b13723d42c15cd00822..18bf17de3a24a8c7c73285e82260b83cd0e57a04 100644 (file)
--- a/Robust/src/Runtime/runtime.h
+++ b/Robust/src/Runtime/runtime.h
@@ -96,8 +96,8 @@ __attribute__((malloc)) struct ___TagDescriptor___ * allocate_tag(int index);
 
 
 void initializeexithandler();
-void failedboundschk();
-void failednullptr();
+void failedboundschk(int num);
+void failednullptr(void * stackptr);
 void abort_task();
 void injectinstructionfailure();
 #ifdef MULTICORE