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

[satcheck.git] / test / userprog_pointers.c

diff --git a/test/userprog_pointers.c b/test/userprog_pointers.c
index e1efc8e9bfe17353f3fc803edb0b206ec1d12897..8422d9f4e3db6e3312f368fa616c94255255ceee 100644 (file)
--- a/test/userprog_pointers.c
+++ b/test/userprog_pointers.c
@@ -1,5 +1,4 @@
 #include <stdio.h>
-#include <stdatomic.h>
 #include "threads.h"
 #include "libinterface.h"