diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 689fa0187..216afc1b9 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -3072,7 +3072,6 @@ public:
             return;
         if (x->get_root() == y->get_root())
             return;
-        SASSERT(a.is_numeral(y->get_expr()));
         reset_evidence();
         set_evidence(ci1, m_core, m_eqs);
         set_evidence(ci2, m_core, m_eqs);