pull in most of atomic header file

[model-checker.git] / userprog.c

diff --git a/userprog.c b/userprog.c
index 33319b1ce873c891b4bce429790196280b3acc12..6d8b57bec5a532b77cfa257585089c3519fba4d8 100644 (file)
--- a/userprog.c
+++ b/userprog.c
@@ -2,8 +2,8 @@
 #include <stdlib.h>
 
 #include "libthreads.h"
-#include "libatomic.h"
 #include "librace.h"
+#include "stdatomic.h"
 
 static void a(atomic_int *obj)
 {