From 7664429fda65291ebe4d43c169f3923fc082a1a3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 31 Mar 2023 12:51:23 -0700 Subject: [PATCH] remove cast expression Signed-off-by: Nikolaj Bjorner --- src/ast/pattern/pattern_inference.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/pattern/pattern_inference.cpp b/src/ast/pattern/pattern_inference.cpp index e795188fb..2fd2b4c82 100644 --- a/src/ast/pattern/pattern_inference.cpp +++ b/src/ast/pattern/pattern_inference.cpp @@ -440,7 +440,7 @@ app* pattern_inference_cfg::mk_pattern(app* candidate) { m_args.push_back(to_app(e)); } } - return m.mk_pattern(m_args.size(), (app* const*)m_args.data()); + return m.mk_pattern(m_args.size(), m_args.data()); } /**