typo

AliveToolkit · Dec 24, 2023 · c9f29fb · c9f29fb
1 parent 36dc0e3
commit c9f29fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/smt/expr.cpp b/smt/expr.cpp
@@ -1543,7 +1543,7 @@ expr expr::cmp_eq(const expr &rhs, bool simplify) const {
         return a == b;
 
       // (sext a) == 0 -> a == 0
-      if (b.isZero())
+      if (rhs.isZero())
         return a == mkUInt(0, a);
     }
   }