From aa8dac2583d231c1c39086232d62f8e5e72b1d0b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 25 May 2018 13:55:39 -0700
Subject: [PATCH] fix uninitialized variable

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

diff --git a/src/qe/qe_mbp.cpp b/src/qe/qe_mbp.cpp
index 9ca4687b5..1390c0ae5 100644
--- a/src/qe/qe_mbp.cpp
+++ b/src/qe/qe_mbp.cpp
@@ -471,6 +471,7 @@ public:
         add_plugin(alloc(arith_project_plugin, m));
         add_plugin(alloc(datatype_project_plugin, m));
         add_plugin(alloc(array_project_plugin, m));
+        updt_params(p);
     }
 
     ~impl() {