From 7e705c485404aaf6c82f0d29b5a444d006b3db8f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 26 Jul 2021 13:47:21 -0700
Subject: [PATCH] fix #5430

---
 src/opt/maxres.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/opt/maxres.cpp b/src/opt/maxres.cpp
index e87965133..27b3b7260 100644
--- a/src/opt/maxres.cpp
+++ b/src/opt/maxres.cpp
@@ -871,6 +871,8 @@ public:
         m_dump_benchmarks =         p.dump_benchmarks();
         m_enable_lns =              p.enable_lns(); 
         m_lns_conflicts =           p.lns_conflicts();
+	if (m_c.num_objectives() > 1)
+	  m_add_upper_bound_block = false;
     }
 
     lbool init_local() {