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

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

diff --git a/clang/test/linuxrwlocks_unannotated.c b/clang/test/linuxrwlocks_unannotated.c
index bb543fdb839cb6544b6164a047348ed106acd753..0dd144775cf419fad22ce73687234754c919d0af 100644 (file)
--- a/clang/test/linuxrwlocks_unannotated.c
+++ b/clang/test/linuxrwlocks_unannotated.c
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <threads.h>
-#include <stdatomic.h>
 
 #include "libinterface.h"