From ee4ae33ac444fdc7407545e06453029aeca45f56 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 3 Sep 2017 15:19:55 -0700 Subject: [PATCH] build fixes Signed-off-by: Nikolaj Bjorner --- src/ast/datatype_decl_plugin2.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/ast/datatype_decl_plugin2.cpp b/src/ast/datatype_decl_plugin2.cpp index 0030af609..44102156d 100644 --- a/src/ast/datatype_decl_plugin2.cpp +++ b/src/ast/datatype_decl_plugin2.cpp @@ -495,7 +495,10 @@ namespace datatype { return param_size::size::mk_power(sz2, sz1); } for (sort* p : params) { - if (s == p) return param_size::size::mk_param(sort_ref(s, m)); + if (s == p) { + sort_ref sr(s, m); + return param_size::size::mk_param(sr); + } } return param_size::size::mk_offset(s->get_num_elements()); }