move the codes that add actions to thrd_func_act_lists from history.cc to ModelExecut...

[c11tester.git] / execution.h

diff --git a/execution.h b/execution.h
index 343a5074c6363f40cc7bd60e2d7e7fdfed3f996b..a6add070aa288d93555ae2382315019c09b04f13 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -210,8 +210,6 @@ private:
        /* Keeps track of atomic actions that thread i has performed in some
         * function. Index of SnapVector is thread id. SnapList simulates
         * the call stack.
-        *
-        * This data structure is handled by ModelHistory
         */
        SnapVector< SnapList<action_list_t *> *> thrd_func_act_lists;
        bool isfinished;