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

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

diff --git a/clang/test/userprog_unannotated.c b/clang/test/userprog_unannotated.c
index de2eb1cb943c366f38b73b4b3aa210db91ccfa3d..563df633062b96d5a3cb8c0706eeb07e8ed876bf 100644 (file)
--- a/clang/test/userprog_unannotated.c
+++ b/clang/test/userprog_unannotated.c
@@ -1,5 +1,4 @@
 #include <stdio.h>
-#include <stdatomic.h>
 #include "threads.h"
 #include "libinterface.h"