X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.cc;h=167d6940d37eb20bbac1ad3ccf441661d1a9ed6f;hb=616746ec12aae78b0d0262c009568109686cb000;hp=3db80e8f6b4f8931ad3a238215c4294c86cd9708;hpb=b8b39c87557325a384faa45d0cae56a6f71f52b1;p=model-checker.git

diff --git a/nodestack.cc b/nodestack.cc
index 3db80e8..167d694 100644
--- 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