Remove promises
[c11tester.git] / test / userprog.c
index 0ff8f125f79e6fb67ac44fea04a5e59cfd759873..415eb24805b3e758deea6d65a378962a48d14cce 100644 (file)
@@ -24,7 +24,7 @@ static void b(void *obj)
        printf("r2=%d\n",r2);
 }
 
-int main(int argc, char **argv)
+int user_main(int argc, char **argv)
 {
        thrd_t t1, t2;