X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.h;h=67e3fa4b8957a50a90211493772d7583678d0bb7;hb=c5703c61b49d29d3f56fdcb06847f2aa811eeb4e;hp=41a1bc1479ceb8f9d12a2ebb81fb6bacf925d6a6;hpb=1e3043a3420dcdc1832efe083e17b98be88e1dfa;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. */