Remove C/C++11 header files that we don't really use

[satcheck.git] / clang / test / seqlock_unannotated.c

diff --git a/clang/test/seqlock_unannotated.c b/clang/test/seqlock_unannotated.c
index 2cdd353fbd72f97331eb30d6130e05952d3e80cf..bd53937610e75e8fd3cf90e416927e9a5865851e 100644 (file)
--- a/clang/test/seqlock_unannotated.c
+++ b/clang/test/seqlock_unannotated.c
@@ -1,5 +1,4 @@
 #include <stdio.h>
-#include <stdatomic.h>
 
 #include "threads.h"
 #include "libinterface.h"