fix the 64 bit clean bug with mlp

diff --git a/Robust/src/Runtime/mlp_runtime.h b/Robust/src/Runtime/mlp_runtime.h
index 6c91758ea518e629d64977f3868a3f4bbcd4fccd..cbf8858cc5960e81bbe25773a40466ef4fdd4ab5 100644 (file)
--- a/Robust/src/Runtime/mlp_runtime.h
+++ b/Robust/src/Runtime/mlp_runtime.h
@@ -95,6 +95,6 @@ AllocSite* mlpCreateAllocSiteArray(int numAllocSites);
 ConflictNode* mlpCreateConflictNode(int id);
 int addWaitingQueueElement(AllocSite* allocSiteArray, int numAllocSites, long allocID, WaitingElement* wElement);
 WaitingElement* mlpCreateWaitingElement(int status, void* seseToIssue, struct Queue* queue, int id);
-
+void* mlpAllocSESErecord( int size );
 
 #endif /* __MLP_RUNTIME__ */