X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Finsanesync.cc;h=c0fe7f661a06317df8b758156a88fa5eb5cd68df;hb=35fc7bb03532e5cbffd248d1de42b76ccc3f55b1;hp=a1e5d04bc7a9fa8332d505a224750ea5068455c2;hpb=906e9719a1b1cf22d75c55d9bc78fdb8d1bfa8f9;p=model-checker.git

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 */