From a67f0bbb46c6c5b5e9bfccc865edd1e652c65a0d Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 1 Jan 2020 17:48:08 -0800 Subject: [PATCH] fix in the interval calculations Signed-off-by: Lev Nachmanson --- src/math/dd/pdd_interval.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/dd/pdd_interval.h b/src/math/dd/pdd_interval.h index 9645c7314..fae3a9598 100644 --- a/src/math/dd/pdd_interval.h +++ b/src/math/dd/pdd_interval.h @@ -51,7 +51,7 @@ public: interval ret; if (deps) { interval_deps_combine_rule combine_rule; - m_dep_intervals.add(hi, a, t, combine_rule); + m_dep_intervals.mul(hi, a, t, combine_rule); m_dep_intervals.combine_deps(hi, a, combine_rule, t); combine_rule.reset(); m_dep_intervals.add(t, la, ret, combine_rule);