X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.h;h=67e3fa4b8957a50a90211493772d7583678d0bb7;hb=634ad19a6e82ddefd9c30d01523fc7fb42540c4c;hp=41a1bc1479ceb8f9d12a2ebb81fb6bacf925d6a6;hpb=dd34ddf490dd97c2c202092c8fa44064a07f8c4f;p=model-checker.git

diff --git a/execution.h b/execution.h
index 41a1bc1..67e3fa4 100644
--- a/execution.h
+++ b/execution.h
@@ -190,7 +190,7 @@ private:
 
 	/** Per-object list of actions. Maps an object (i.e., memory location)
 	 * to a trace of all actions performed on the object. */
-	HashTable<const void *, action_list_t *, uintptr_t, 4> * const obj_map;
+	HashTable<const void *, action_list_t *, uintptr_t, 4> obj_map;
 
 	/** Per-object list of actions. Maps an object (i.e., memory location)
 	 * to a trace of all actions performed on the object. */