From d2e27f6f1f33cf6e0ae05cb78976a35fd6423f5f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 19 Oct 2017 11:25:44 -0700
Subject: [PATCH] remove redundant and wrong range type, in extension to
 changes made for #1223

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/array_decl_plugin.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/ast/array_decl_plugin.h b/src/ast/array_decl_plugin.h
index 1257ab2c6..911bb3f27 100644
--- a/src/ast/array_decl_plugin.h
+++ b/src/ast/array_decl_plugin.h
@@ -191,8 +191,7 @@ public:
 
     app * mk_as_array(func_decl * f) {
         parameter param(f);
-        sort * s = f->get_range();
-        return m_manager.mk_app(m_fid, OP_AS_ARRAY, 1, &param, 0, 0, s);
+        return m_manager.mk_app(m_fid, OP_AS_ARRAY, 1, &param, 0, 0, 0);
     }
 };