mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fix examples and C++ API - build failure

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-05-15 15:43:05 +01:00
parent 09afb31d4c
commit 0e32c87dc3
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
examples/tptp/tptp5.cpp
View file

@ -2083,7 +2083,7 @@ bool parse_is_sat_line(char const* line, bool& is_sat) {
return true; return true;
} }
return false; return false;
}
bool parse_is_sat(char const* filename, bool& is_sat) { bool parse_is_sat(char const* filename, bool& is_sat) {
std::ifstream is(filename); std::ifstream is(filename);

3
src/api/c++/z3++.h
View file

@ -1111,7 +1111,8 @@ namespace z3 {
} }
inline expr concat(expr const& a, expr const& b) { inline expr concat(expr const& a, expr const& b) {
Z3_ast r = Z3_mk_concat(ctx, (Z3_app) a, (Z3_app) b); context& ctx = a.ctx();
Z3_ast r = Z3_mk_concat(ctx, (Z3_ast) a, (Z3_ast) b);
ctx.check_error(); ctx.check_error();
return expr(ctx, r); return expr(ctx, r);
} }