From 8a02167e3006f6fc55ee979c05591997f0ac2d61 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 1 Jun 2021 21:08:08 -0700
Subject: [PATCH] get-universe

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/int_gcd_test.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/int_gcd_test.cpp b/src/math/lp/int_gcd_test.cpp
index 4801cc436..8891f495f 100644
--- a/src/math/lp/int_gcd_test.cpp
+++ b/src/math/lp/int_gcd_test.cpp
@@ -259,7 +259,7 @@ namespace lp {
     bool int_gcd_test::accumulate_parity(const row_strip<mpq> & row, unsigned least_idx) {
 
         // remove this line to enable new functionality.
-        // return true;
+        return true;
 
         mpq modulus(0);
         bool least_sign = false;