Remove unused headers

[c11tester.git] / fuzzer.h

diff --git a/fuzzer.h b/fuzzer.h
index e3cd445b789a1288ffb040613096c39b1c688448..65210e09ae8e147693d3b5300e4c5db3ff766cc6 100644 (file)
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -17,6 +17,7 @@ public:
        bool shouldWake(const ModelAction *sleep);
        virtual bool waitShouldFail(ModelAction *wait);
        bool waitShouldWakeUp(const ModelAction *wait);
+       bool randomizeWaitTime(ModelAction * timed_wait);
        virtual void register_engine(ModelChecker * _model, ModelExecution * execution) {}
        SNAPSHOTALLOC
 private: