X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=benchmarks%2Fsatcheck-precompiled%2Flinuxlock%2Flinuxlocks.c;h=366a1639b5406a4ba5bfd040ee0a6497f23c1903;hp=db7502555ac3c663b07b881dbb1ac619511147de;hb=c0828349d8d79e469f450fb1e6b8dd717637c5f0;hpb=52b59882a22019190a4f6cb35c65ce1221b4a96e

diff --git a/benchmarks/satcheck-precompiled/linuxlock/linuxlocks.c b/benchmarks/satcheck-precompiled/linuxlock/linuxlocks.c
index db75025..366a163 100644
--- a/benchmarks/satcheck-precompiled/linuxlock/linuxlocks.c
+++ b/benchmarks/satcheck-precompiled/linuxlock/linuxlocks.c
@@ -58,8 +58,8 @@ int user_main(int argc, char **argv)
 {
 	thrd_t t1, t2;//, t3, t4;
 	mylock = (rwlock_t*)malloc(sizeof(rwlock_t));
-	_fn0 = MC2_function_id(0, 0, sizeof (mylock), (uint64_t)mylock); 
-	MC2_nextOpStoreOffset(_fn0, MC2_OFFSET(rwlock_t *, lock), MCID_NODEP);
+
+	_fn0 = MC2_function_id(0, 0, sizeof (mylock), (uint64_t)mylock); 	MC2_nextOpStoreOffset(_fn0, MC2_OFFSET(rwlock_t *, lock), MCID_NODEP);
 	store_32(&mylock->lock, 0);
 
 	thrd_create(&t1, (thrd_start_t)&a, NULL);