names

diff --git a/Robust/CoreProf/Trace.java b/Robust/CoreProf/Trace.java
index 46802e0d7c337333d910e3f2f3c0f5961bbc41d4..a122d210b5ea8cb295a007c73121d6cb150a8cd4 100644 (file)
--- a/Robust/CoreProf/Trace.java
+++ b/Robust/CoreProf/Trace.java
@@ -30,6 +30,8 @@ public class Trace {
     eid2name.put( CP_EVENTID_MAIN,          "MAIN         " );
     eid2name.put( CP_EVENTID_RUNMALLOC,     "RUNMALLOC    " );
     eid2name.put( CP_EVENTID_RUNFREE,       "RUNFREE      " );
+    eid2name.put( CP_EVENTID_RUNFREE,       "POOLALLOC    " );
+    eid2name.put( CP_EVENTID_RUNFREE,       "POOLREUSE    " );
     eid2name.put( CP_EVENTID_WORKSCHEDGRAB, "WORKSCHEDGRAB" );
     eid2name.put( CP_EVENTID_TASKDISPATCH,  "TASKDISPATCH " );
     eid2name.put( CP_EVENTID_TASKEXECUTE,   "TASKEXECUTE  " );