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

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

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