spsc-queue: compilable

[model-checker-benchmarks.git] / spsc-queue / spsc-queue.cc

diff --git a/spsc-queue/spsc-queue.cc b/spsc-queue/spsc-queue.cc
index ef7b02635d8f1e525d14191b9ba6b85b33fe7ec2..b689936ae6918411da1c3192e28137ce122ca911 100644 (file)
--- a/spsc-queue/spsc-queue.cc
+++ b/spsc-queue/spsc-queue.cc
@@ -17,7 +17,7 @@ spsc_queue<int> q;
                }
        }
 
-int main()
+int user_main(int argc, char **argv)
 {
        thrd_t A, B;
        thrd_create(&A, (thrd_start_t)&thread, (void *)0);