model-assert: include <stdbool.h>

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index a20792033f471ba21744b9de870aa42840490f38..61c7c4cb9f7b5c7ffc15d270792ad856cdfe80e8 100644 (file)
--- a/action.h
+++ b/action.h
@@ -5,7 +5,6 @@
 #ifndef __ACTION_H__
 #define __ACTION_H__
 
-#include <list>
 #include <cstddef>
 #include <inttypes.h>
 
@@ -121,6 +120,7 @@ public:
        bool is_uninitialized() const;
        bool is_read() const;
        bool is_write() const;
+       bool is_yield() const;
        bool could_be_write() const;
        bool is_rmwr() const;
        bool is_rmwc() const;