X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=d4c6253caf20c23411c60ba350a91760c386e6fc;hb=refs%2Fheads%2Fmaster;hp=876de1262c82475f3f9e6610ba339f305963a0a5;hpb=a65e234b607444355eb6e34097ee55ba93d4c01b;p=model-checker.git

diff --git a/action.cc b/action.cc
index 876de12..d4c6253 100644
--- a/action.cc
+++ b/action.cc
@@ -330,7 +330,7 @@ bool ModelAction::could_synchronize_with(const ModelAction *act) const
 		return false;
 
 	// Different locations commute
-	if (!same_var(act))
+	if (!same_var(act) && !is_fence() && !act->is_fence())
 		return false;
 
 	// Explore interleavings of seqcst writes/fences to guarantee total