From 912001ad6a7c662084fd05f0c36d886360936cf1 Mon Sep 17 00:00:00 2001
From: Robert Nishihara <robertnishihara@gmail.com>
Date: Sat, 14 May 2016 05:54:00 -0700
Subject: [PATCH] clear objtable_ entry when an object is deallocated (#57)

---
 src/scheduler.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/scheduler.cc b/src/scheduler.cc
index 49c1224c7..64afd2402 100644
--- a/src/scheduler.cc
+++ b/src/scheduler.cc
@@ -593,6 +593,7 @@ void SchedulerService::deallocate_object(ObjRef canonical_objref) {
       ORCH_LOG(ORCH_REFCOUNT, "Attempting to deallocate canonical_objref " << canonical_objref << " from objstore " << objstoreid);
       objstores_[objstoreid].objstore_stub->DeallocateObject(&context, request, &reply);
     }
+    objtable_[canonical_objref].clear();
   }
   decrement_ref_count(contained_objrefs_[canonical_objref]);
 }