X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=impatomic.cc;h=2d48989c147d051bd61d3a4d01fe0e2ba1bcf9ea;hb=130a35155171503883aaf18e57f8957ce63d06e8;hp=c10c43e596682a960896f1cef7380e1dea5de9f7;hpb=b35625b0499717b3caab5344d7278a31fbee9cb6;p=model-checker.git

diff --git a/impatomic.cc b/impatomic.cc
index c10c43e..2d48989 100644
--- a/impatomic.cc
+++ b/impatomic.cc
@@ -2,6 +2,7 @@
 #include "common.h"
 #include "model.h"
 #include "threads-model.h"
+#include "action.h"
 
 namespace std {