nodestack: revert may_read_from to a normal member variable, not pointer

[c11tester.git] / cyclegraph.h

diff --git a/cyclegraph.h b/cyclegraph.h
index ed534170fd339ee42427535d38e3979e6d4cf496..818a3e88f3afca519cbff27e8d4310f485e130ff 100644 (file)
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -4,6 +4,7 @@
 #include "hashtable.h"
 #include "action.h"
 #include <vector>
+#include <inttypes.h>
 
 class CycleNode;