mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
remove ref
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
1f6815213d
commit
76c2fb5732
|
@ -3005,7 +3005,7 @@ public:
|
|||
else {
|
||||
++m_stats.m_assert_upper;
|
||||
}
|
||||
inf_rational const& value = b.get_value(is_true);
|
||||
inf_rational value = b.get_value(is_true);
|
||||
if (propagate_eqs() && value.is_rational()) {
|
||||
propagate_eqs(b.tv(), ci, k, b, value.get_rational());
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue