From 07f9bd4ccb185aecc3a1f9fc66a5c3471bf15a46 Mon Sep 17 00:00:00 2001
From: Tolik Zinovyev <tolik@bu.edu>
Date: Sat, 19 Mar 2022 13:19:53 -0400
Subject: [PATCH] core: Simplify a line in int64x64-128.cc.

---
 src/core/model/int64x64-128.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/model/int64x64-128.cc b/src/core/model/int64x64-128.cc
index 1d70ef261..fe0c7d982 100644
--- a/src/core/model/int64x64-128.cc
+++ b/src/core/model/int64x64-128.cc
@@ -57,7 +57,7 @@ output_sign (const int128_t sa,
   bool negB = sb < 0;
   ua = negA ? -sa : sa;
   ub = negB ? -sb : sb;
-  return (negA && !negB) || (!negA && negB);
+  return negA != negB;
 }
 
 void