From e472a8d4cfe36df6a68d0b4e285e9a3410d6ff8a Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 16 Jan 2017 15:46:58 +0000 Subject: [PATCH] Enabled filenames in error messages during inclusion of files. --- src/smt/smt2_extra_cmds.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/smt2_extra_cmds.cpp b/src/smt/smt2_extra_cmds.cpp index 866a1178e..901810442 100644 --- a/src/smt/smt2_extra_cmds.cpp +++ b/src/smt/smt2_extra_cmds.cpp @@ -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); }