From 1cba5fd55e6544bd735b1bb7ba5727a9801f1ec3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Apr 2022 11:11:26 +0200
Subject: [PATCH] merge

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/polysat/smul_fl_constraint.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/polysat/smul_fl_constraint.cpp b/src/math/polysat/smul_fl_constraint.cpp
index c529479e2..6dc04e2ad 100644
--- a/src/math/polysat/smul_fl_constraint.cpp
+++ b/src/math/polysat/smul_fl_constraint.cpp
@@ -126,7 +126,6 @@ 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());
     }
 
 }