X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=williams-queue%2Fwilliams-queue.cc;fp=williams-queue%2Fwilliams-queue.cc;h=0000000000000000000000000000000000000000;hp=a61dfdd5395f88212b1c9fddeaf9155e629006f6;hb=819715e1278ec7efecc81cf1d62c298eb396c730;hpb=69d1985b2a13f7f53fd717c094641a795b9c0410

diff --git a/williams-queue/williams-queue.cc b/williams-queue/williams-queue.cc
deleted file mode 100644
index a61dfdd..0000000
--- a/williams-queue/williams-queue.cc
+++ /dev/null
@@ -1,25 +0,0 @@
-//#include <threads.h>
-#include <thread>
-
-#include "williams-queue.h"
-
-lock_free_queue<int> *queue;
-
-void threadA(void *arg)
-{
-}
-
-#define user_main main
-
-int user_main(int argc, char **argv)
-{
-	/*thrd_t A, B;
-
-	thrd_create(&A, &threadA, NULL);
-	thrd_join(A);*/
-	queue = new lock_free_queue<int>();
-	std::thread t(threadA, (void *)NULL);
-	t.join();
-
-	return 0;
-}