model: add work queue loop

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 248e1648b7e431c30fe60927274d8ae29a5b3a7f..cf1770b7720ed68789a0e3edd070620e65f08c69 100644 (file)
--- a/model.h
+++ b/model.h
@@ -17,6 +17,7 @@
 #include "action.h"
 #include "clockvector.h"
 #include "hashtable.h"
+#include "workqueue.h"
 
 /* Forward declaration */
 class NodeStack;