From: Brian Norris <banorris@uci.edu>
Date: Wed, 17 Jul 2013 02:31:20 +0000 (-0700)
Subject: test: insanesync: consolidate lines
X-Git-Tag: oopsla2013-final
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=refs%2Ftags%2Foopsla2013-final

test: insanesync: consolidate lines
---

diff --git a/test/insanesync.cc b/test/insanesync.cc
index a1e5d04..c0fe7f6 100644
--- a/test/insanesync.cc
+++ b/test/insanesync.cc
@@ -8,10 +8,8 @@
 
 using namespace std;
 
-atomic_int x;
-atomic_int y;
-atomic_intptr_t z;
-atomic_intptr_t z2;
+atomic_int x, y;
+atomic_intptr_t z, z2;
 
 int r1, r2, r3; /* "local" variables */