From 367d8bb7692182de41d9d47633de90af2b2747ed Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 2 Nov 2010 12:21:55 +0000
Subject: [PATCH] fix so that profiling doesn't throw an error

---
 Robust/src/Runtime/workschedule.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Robust/src/Runtime/workschedule.c b/Robust/src/Runtime/workschedule.c
index 42821d65..a99c0032 100644
--- a/Robust/src/Runtime/workschedule.c
+++ b/Robust/src/Runtime/workschedule.c
@@ -373,9 +373,6 @@ void workScheduleBegin() {
     pthread_join( workerDataArray[i].workerThread, NULL );
   }
 
-  // for the original, non-worker thread to close up its events
-  CP_EXIT();
-
   // write all thread's events to disk
   CP_DUMP();
 }
-- 
2.34.1