Toward transferring the removal of some actions from ModelExecution to FuncNode or...

[c11tester.git] / execution.h

diff --git a/execution.h b/execution.h
index 008e1e11dd90bf5d2f3109ea6167c97f7fccd115..6cdaeaf17a90b156e0bf14da5be134324cc4155d 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -202,7 +202,6 @@ private:
        Fuzzer * fuzzer;
 
        Thread * action_select_next_thread(const ModelAction *curr) const;
-       bool paused_by_fuzzer(const ModelAction * act) const;
 
        bool isfinished;
 };