mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-27 00:18:45 +00:00
Code Activity

remove cast expression

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-03-31 12:51:23 -07:00
parent a62e4b2893
commit 7664429fda
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/pattern/pattern_inference.cpp
View file

@ -440,7 +440,7 @@ app* pattern_inference_cfg::mk_pattern(app* candidate) {
m_args.push_back(to_app(e)); 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());
} }
/** /**