From d5e97e18e0f24e27a97fdb181d42ecc491d55c78 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 1 Sep 2017 22:09:33 -0700
Subject: [PATCH] Fix apparent bug...

---
 constgen.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/constgen.cc b/constgen.cc
index 27c17fb..ff72bf0 100644
--- a/constgen.cc
+++ b/constgen.cc
@@ -983,7 +983,8 @@ bool ConstGen::orderThread(EPRecord *first, EPRecord *second) {
 		EPRecord *join=(*joinvec)[i];
 		ExecPoint *jp=join->getEP();
 		if (jp->get_tid()==thr2 &&
-				jp->compare(ep2)==CR_AFTER)
+				jp->compare(ep2)==CR_AFTER &&
+				join->getJoinThread() == thr1)
 			return true;
 	}
 	return false;
-- 
2.34.1