mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity

Enabled filenames in error messages during inclusion of files.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-01-16 15:46:58 +00:00
parent 090a331d79
commit e472a8d4cf
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/smt2_extra_cmds.cpp
View file

@ -34,7 +34,7 @@ public:
std::ifstream is(m_filename);
if (is.bad() || is.fail())
throw cmd_exception(std::string("failed to open file '") + m_filename + "'");
parse_smt2_commands(ctx, is, false);
parse_smt2_commands(ctx, is, false, params_ref(), m_filename);
is.close();
}
virtual void prepare(cmd_context & ctx) { reset(ctx); }