From 000db81b4f6811328fb9309c7af1a5d702eb1291 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 23 Jun 2014 15:47:47 +0100
Subject: [PATCH] Fixed bug where the random seed wasn't passed through to
 theory_arith. Thanks to Carsten! (Stackoverflow #24327987)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/smt/params/theory_arith_params.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/params/theory_arith_params.cpp b/src/smt/params/theory_arith_params.cpp
index 7281a5daa..7287cac2f 100644
--- a/src/smt/params/theory_arith_params.cpp
+++ b/src/smt/params/theory_arith_params.cpp
@@ -22,6 +22,7 @@ Revision History:
 void theory_arith_params::updt_params(params_ref const & _p) {
     smt_params_helper p(_p);
     m_arith_random_initial_value = p.arith_random_initial_value();
+    m_arith_random_seed = p.random_seed();
     m_arith_mode = static_cast<arith_solver_id>(p.arith_solver());
     m_nl_arith = p.arith_nl();
     m_nl_arith_gb = p.arith_nl_gb();