Bug fixes and make Fuzzer selectable

[c11tester.git] / newfuzzer.h

diff --git a/newfuzzer.h b/newfuzzer.h
index 8e506ad7569e9ba037d7d4c8315c37659f6c7df8..bf01faf00aa0435f6beab22cf0adac7d698a0090 100644 (file)
--- a/newfuzzer.h
+++ b/newfuzzer.h
@@ -34,7 +34,7 @@ public:
        bool shouldWake(const ModelAction * sleep);
        bool shouldWait(const ModelAction * wait);
 
-       void register_engine(ModelHistory * history, ModelExecution * execution);
+       void register_engine(ModelExecution * execution);
        Predicate * get_selected_child_branch(thread_id_t tid);
 
        SNAPSHOTALLOC