X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=ms-queue%2Fmain.c;h=210c57a1e208518c6dca9558d0c9d9357e88ca19;hb=037b00400699b8bd88b250d6d5b053a85edb2a61;hp=51e0e79c478e64c0267ba794b074115b7f69d822;hpb=4f919e0a75b2bbc708bee3d109349fe24e4b264c;p=model-checker-benchmarks.git

diff --git a/ms-queue/main.c b/ms-queue/main.c
index 51e0e79..210c57a 100644
--- a/ms-queue/main.c
+++ b/ms-queue/main.c
@@ -63,7 +63,6 @@ int user_main(int argc, char **argv)
 	int *param;
 
 	parse_args(argc, argv);
-	iterations = (iterations + (procs >> 1)) / procs;
 
 	queue = calloc(1, sizeof(*queue));
 	assert(queue);