From 340f7659839ce492b7eb8483fd2bd91eb1ca9645 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 21 Oct 2014 09:35:32 -0700
Subject: [PATCH] make sure that parameters are appended such that multiple
 paramters are not ignored on the solver

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp
index b9b3d8166..e57050e82 100644
--- a/src/api/api_solver.cpp
+++ b/src/api/api_solver.cpp
@@ -149,7 +149,7 @@ extern "C" {
             to_param_ref(p).validate(r);
             to_solver_ref(s)->updt_params(to_param_ref(p));
         }
-        to_solver(s)->m_params = to_param_ref(p);
+        to_solver(s)->m_params.append(to_param_ref(p));
         Z3_CATCH;
     }