minor fix to ObjectStore.cpp
minor fix to ObjectStore.cpp

Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified