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

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

diff --git a/clang/test/seqlock_raw_unannotated.c b/clang/test/seqlock_raw_unannotated.c
index f0877511de9ce94feb3e8c31c399912229c4dea0..c2c5ef631bbae04d6248d068c10fe4ee9f60d423 100644 (file)
--- a/clang/test/seqlock_raw_unannotated.c
+++ b/clang/test/seqlock_raw_unannotated.c
@@ -1,9 +1,5 @@
 #include <stdio.h>
 #include <threads.h>
-#include <stdatomic.h>
-
-#include <stdatomic.h>
-#include "threads.h"
 #include "libinterface.h"
 
 /*atomic_*/ int _seq;