X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.h;h=6e4fd2ab900988df3d40e1b06be6c8f38d8df3f7;hb=20956d81209b12a99ced78f51dd4294a0638343f;hp=12603b2fcb49bcf8555982aa09b02d2756925195;hpb=4240d2152b14f8d5305ee524280cbb9a3a54e5ef;p=model-checker.git

diff --git a/execution.h b/execution.h
index 12603b2..6e4fd2a 100644
--- a/execution.h
+++ b/execution.h
@@ -111,7 +111,7 @@ public:
 
 	ModelAction * get_next_backtrack();
 
-	action_list_t * get_action_trace() const { return action_trace; }
+	action_list_t * get_action_trace() { return &action_trace; }
 
 	SNAPSHOTALLOC
 private:
@@ -185,7 +185,7 @@ private:
 
 	ModelAction * get_uninitialized_action(const ModelAction *curr) const;
 
-	action_list_t * const action_trace;
+	action_list_t action_trace;
 	HashTable<int, Thread *, int> thread_map;
 
 	/** Per-object list of actions. Maps an object (i.e., memory location)