From: Brian Norris <banorris@uci.edu>
Date: Tue, 9 Oct 2012 19:02:42 +0000 (-0700)
Subject: include: add <atomic> header
X-Git-Tag: pldi2013~69
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7e44b12a812b12b75ae1613b8ce26be8f0efcde3;p=model-checker.git

include: add <atomic> header
---

diff --git a/include/atomic b/include/atomic
new file mode 100644
index 0000000..8bbd988
--- /dev/null
+++ b/include/atomic
@@ -0,0 +1,3 @@
+
+#include "impatomic.h"
+