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

diff --git a/impatomic.cc b/impatomic.cc
index c10c43e5..2d48989c 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 {