X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=spsc-queue%2Fspsc-queue.cc;fp=spsc-queue%2Fspsc-queue.cc;h=b689936ae6918411da1c3192e28137ce122ca911;hb=ae1e51950d28aad23f47611cd9afb33718b4beec;hp=ef7b02635d8f1e525d14191b9ba6b85b33fe7ec2;hpb=f0bcfda022d67bdae85948061e9196431878e49b;p=model-checker-benchmarks.git

diff --git a/spsc-queue/spsc-queue.cc b/spsc-queue/spsc-queue.cc
index ef7b026..b689936 100644
--- 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);