From fb998485f1312249c062933843c5ca12659f6ab6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 8 Dec 2022 07:20:32 -0800
Subject: [PATCH] fixing typo

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

diff --git a/src/sat/smt/xor_solver.cpp b/src/sat/smt/xor_solver.cpp
index 0a46a99ad..675d66d27 100644
--- a/src/sat/smt/xor_solver.cpp
+++ b/src/sat/smt/xor_solver.cpp
@@ -307,7 +307,7 @@ namespace xr {
         for (const auto& clause : m_xorclauses) {
             bool eval = false;
             for (bool_var v : clause)
-                eval ^= m[v];
+                eval ^= (l_true == m[v]);
             if (eval != clause.m_rhs)
                 return false;
         }