From d97bb7c6adeb787cb598c08159dea9ff92098b17 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 6 Apr 2022 05:46:36 +0200 Subject: [PATCH] merge Signed-off-by: Nikolaj Bjorner --- src/math/polysat/smul_fl_constraint.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/math/polysat/smul_fl_constraint.cpp b/src/math/polysat/smul_fl_constraint.cpp index cd6e20aec..c529479e2 100644 --- a/src/math/polysat/smul_fl_constraint.cpp +++ b/src/math/polysat/smul_fl_constraint.cpp @@ -126,5 +126,7 @@ namespace polysat { us.add_smul_ovfl(p_coeff, q_coeff, !is_positive, dep); else us.add_smul_udfl(p_coeff, q_coeff, !is_positive, dep); + return mk_mix(p().hash(), q().hash(), kind()); } + }