common: make model_print() use OS file descriptor, not C library FILE*

[c11tester.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 394552ca879f7056b0002acfe1ee2e5e348580f0..8573e9f3ded52b3ed4d1c789633d6c3b0c32311d 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -5,7 +5,6 @@
 #ifndef __NODESTACK_H__
 #define __NODESTACK_H__
 
-#include <vector>
 #include <cstddef>
 #include <inttypes.h>
 
@@ -113,6 +112,8 @@ public:
        bool increment_relseq_break();
        bool relseq_break_empty() const;
 
+       bool increment_behaviors();
+
        void print() const;
 
        MEMALLOC