rename threads.h -> threads-model.h

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index 3db80e8f6b4f8931ad3a238215c4294c86cd9708..167d6940d37eb20bbac1ad3ccf441661d1a9ed6f 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -4,7 +4,7 @@
 #include "action.h"
 #include "common.h"
 #include "model.h"
-#include "threads.h"
+#include "threads-model.h"
 
 /**
  * @brief Node constructor