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

[satcheck.git] / test / userprog2.c

diff --git a/test/userprog2.c b/test/userprog2.c
index 836e326a861e1ee1cf206f0e8da6639c4f9e3221..ec406c87d67951feb8af0f44d615c1ba5b90c748 100644 (file)
--- a/test/userprog2.c
+++ b/test/userprog2.c
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <threads.h>
-#include <stdatomic.h>
 
 #include "libinterface.h"