alert user if allocating an SESE record fails

diff --git a/Robust/src/Runtime/mlp_runtime.c b/Robust/src/Runtime/mlp_runtime.c
index b3ab4120555cbc6a15b2dadf5a6ba4641d4b7145..bc4e2bcd2255bc7aab05ea50366c3019d3e9bcd0 100644 (file)
--- a/Robust/src/Runtime/mlp_runtime.c
+++ b/Robust/src/Runtime/mlp_runtime.c
@@ -22,6 +22,10 @@ __thread SESEcommon_p seseCaller;
 
 void* mlpAllocSESErecord( int size ) {
   void* newrec = RUNMALLOC( size );  
+  if( newrec == 0 ) {
+    printf( "mlpAllocSESErecord did not obtain memory!\n" );
+    exit( -1 );
+  }
   return newrec;
 }