X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.h;h=e9c78ded53f7c45eaf04588287e61e946f17abf5;hb=0cf7ad4007b76a90747f067c45cfcd0a66ffc47a;hp=b152ae2a8386ae54ca235d9f20fd57271b10c4a8;hpb=aeb054abf1a84d816e655c14efb62adf20874080;p=model-checker.git

diff --git a/execution.h b/execution.h
index b152ae2..e9c78de 100644
--- a/execution.h
+++ b/execution.h
@@ -197,8 +197,8 @@ private:
 	HashTable<const void *, action_list_t *, uintptr_t, 4> * const condvar_waiters_map;
 
 	HashTable<void *, SnapVector<action_list_t> *, uintptr_t, 4 > * const obj_thrd_map;
-	SnapVector<Promise *> * const promises;
-	SnapVector<struct PendingFutureValue> * const futurevalues;
+	SnapVector<Promise *> promises;
+	SnapVector<struct PendingFutureValue> futurevalues;
 
 	/**
 	 * List of pending release sequences. Release sequences might be
@@ -206,10 +206,10 @@ private:
 	 * are established. Each entry in the list may only be partially
 	 * filled, depending on its pending status.
 	 */
-	SnapVector<struct release_seq *> * const pending_rel_seqs;
+	SnapVector<struct release_seq *> pending_rel_seqs;
 
-	SnapVector<ModelAction *> * const thrd_last_action;
-	SnapVector<ModelAction *> * const thrd_last_fence_release;
+	SnapVector<ModelAction *> thrd_last_action;
+	SnapVector<ModelAction *> thrd_last_fence_release;
 	NodeStack * const node_stack;
 
 	/** A special model-checker Thread; used for associating with