X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=benchmarks%2Fsatcheck-precompiled%2Fmsqueueoffset%2Fms-queue-simple.c;h=44199745b09ca809c38375bf01a03518ac086c88;hp=e819eb7d1cdda144d0e22b4520d0bfd07dcc3981;hb=c0828349d8d79e469f450fb1e6b8dd717637c5f0;hpb=52b59882a22019190a4f6cb35c65ce1221b4a96e

diff --git a/benchmarks/satcheck-precompiled/msqueueoffset/ms-queue-simple.c b/benchmarks/satcheck-precompiled/msqueueoffset/ms-queue-simple.c
index e819eb7..4419974 100644
--- a/benchmarks/satcheck-precompiled/msqueueoffset/ms-queue-simple.c
+++ b/benchmarks/satcheck-precompiled/msqueueoffset/ms-queue-simple.c
@@ -37,8 +37,8 @@ void init_queue(MCID _mq, queue_t *q, MCID _mnum_threads, int num_threads) {
 void enqueue(MCID _mq, queue_t *q, MCID _mval, unsigned int val) {
 	MCID _mtail; struct node *tail;
 	MCID _fn1; struct node * node_ptr; node_ptr = (struct node *)malloc(sizeof(struct node));
-	_fn1 = MC2_function_id(0, 1, sizeof (node_ptr), (uint64_t)node_ptr, _fn1); 
-	
+
+	_fn1 = MC2_function_id(0, 0, sizeof (node_ptr), (uint64_t)node_ptr); 	
 	MC2_nextOpStoreOffset(_fn1, MC2_OFFSET(struct node *, value), _mval);
 	store_32(&node_ptr->value, val);