When an atomic read action cannot read from a desired write, make this thread sleep...

[c11tester.git] / history.h

diff --git a/history.h b/history.h
index 2a77e251f8786709d7731318075047803e31d1fe..0a51e6404826bda5407cbf41be96b8635051f5df 100644 (file)
--- a/history.h
+++ b/history.h
@@ -26,7 +26,6 @@ public:
 
        ModelVector<FuncNode *> * getFuncNodes() { return &func_nodes; }
        FuncNode * get_func_node(uint32_t func_id);
-//     uint64_t query_last_read(void * location, thread_id_t tid);
 
        void add_to_write_history(void * location, uint64_t write_val);
        HashTable<void *, value_set_t *, uintptr_t, 4> * getWriteHistory() { return &write_history; }