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

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 {