X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fcstdatomic;fp=include%2Fcstdatomic;h=0000000000000000000000000000000000000000;hb=4e8a7fe4f03effc4895ec66cd3662c2ed8ebb6fa;hp=b44109713697838f74f209647ae0e097ba932e01;hpb=99779716bb2842e00ea0a0c06e87fd9545ddfda3;p=satcheck.git

diff --git a/include/cstdatomic b/include/cstdatomic
deleted file mode 100644
index b441097..0000000
--- a/include/cstdatomic
+++ /dev/null
@@ -1,7 +0,0 @@
-/**
- * @file cstdatomic
- * @brief C11 atomic interface header
- */
-
-#include "impatomic.h"
-