From ca18150c234327da63fc006aeb97e49140fec19a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 31 Dec 2021 16:43:07 -0800
Subject: [PATCH] bypass append when src is empty

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/params.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/util/params.cpp b/src/util/params.cpp
index 4911664f1..aefe4e074 100644
--- a/src/util/params.cpp
+++ b/src/util/params.cpp
@@ -565,6 +565,8 @@ void params_ref::set(params_ref const & p) {
 void params_ref::copy(params_ref const & src) {
     if (m_params == nullptr || m_params->empty())
         set(src);
+    else if (src.empty())
+        return;
     else {
         init();
         copy_core(src.m_params);