From 40455632230caa1e9b73e6fd92223b168398d7c8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 12 Aug 2020 10:13:52 -0700
Subject: [PATCH] fix #4626

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

diff --git a/src/smt/seq_offset_eq.cpp b/src/smt/seq_offset_eq.cpp
index 10b34a8ef54..275856d4f4b 100644
--- a/src/smt/seq_offset_eq.cpp
+++ b/src/smt/seq_offset_eq.cpp
@@ -100,7 +100,7 @@ bool seq_offset_eq::find(enode* n1, enode* n2, int& offset) const {
     if (n1->get_owner_id() > n2->get_owner_id()) 
         std::swap(n1, n2);
     return 
-        !a.is_numeral(n2->get_owner()) && 
+        !a.is_numeral(n1->get_owner()) && 
         !a.is_numeral(n2->get_owner()) && 
         m_offset_equalities.find(n1, n2, offset);
 }