Remove C/C++11 header files that we don't really use
[satcheck.git] / clang / test / linuxrwlocks.c
index 650d0f8c742f4b5103fcb36da63cbb8564b1aa13..290b94f4dc46f518e6f7d982bbb13df263858eb3 100644 (file)
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <threads.h>
-#include <stdatomic.h>
 
 #include "libinterface.h"