X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.cc;fp=promise.cc;h=0f5ba4d1573d3ffc652ad28edb3bc69e62742248;hb=e7c0c2dc248559b307122db7923df35f7c6d957e;hp=8519feef5e678726b1ea2369e48a35e0d95631bd;hpb=c399a44cb63c43c83c11fe6cfab02889896ecff1;p=model-checker.git

diff --git a/promise.cc b/promise.cc
index 8519fee..0f5ba4d 100644
--- a/promise.cc
+++ b/promise.cc
@@ -4,6 +4,8 @@
 #include "promise.h"
 #include "model.h"
 #include "schedule.h"
+#include "action.h"
+#include "threads-model.h"
 
 /**
  * @brief Promise constructor