From a78564145b683e9d5b800f6821d5e1a440a1e114 Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Fri, 14 Jun 2013 16:46:13 -0700
Subject: [PATCH] hooked up array.weak and array.extension params

---
 src/smt/params/theory_array_params.cpp | 28 ++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 src/smt/params/theory_array_params.cpp

diff --git a/src/smt/params/theory_array_params.cpp b/src/smt/params/theory_array_params.cpp
new file mode 100644
index 000000000..e3c8b2448
--- /dev/null
+++ b/src/smt/params/theory_array_params.cpp
@@ -0,0 +1,28 @@
+/*++
+Copyright (c) 2006 Microsoft Corporation
+
+Module Name:
+
+    theory_array_params.cpp
+
+Abstract:
+
+    <abstract>
+
+Author:
+
+    Leonardo de Moura (leonardo) 2008-05-06.
+
+Revision History:
+
+--*/
+#include"theory_array_params.h"
+#include"smt_params_helper.hpp"
+
+void theory_array_params::updt_params(params_ref const & _p) {
+    smt_params_helper p(_p);
+    m_array_weak = p.array_weak();
+    m_array_extensional = p.array_extensional();
+}
+
+