Fix a memory bug

[c11tester.git] / execution.h

diff --git a/execution.h b/execution.h
index da3544ab210332c4bb10dbb08c5cb4e4b68c36c2..622f17aafedaefe74d675f7eb42ca8be37eace61 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -200,6 +200,7 @@ private:
        Fuzzer * fuzzer;
 
        Thread * action_select_next_thread(const ModelAction *curr) const;
+       bool paused_by_fuzzer(const ModelAction * act) const;
 
        /* thrd_func_list stores a list of function ids for each thread.
         * Each element in thrd_func_list stores the functions that