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

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);