X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Fuserprog_pointers.c;fp=test%2Fuserprog_pointers.c;h=8422d9f4e3db6e3312f368fa616c94255255ceee;hb=4e8a7fe4f03effc4895ec66cd3662c2ed8ebb6fa;hp=e1efc8e9bfe17353f3fc803edb0b206ec1d12897;hpb=99779716bb2842e00ea0a0c06e87fd9545ddfda3;p=satcheck.git

diff --git a/test/userprog_pointers.c b/test/userprog_pointers.c
index e1efc8e..8422d9f 100644
--- 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"