diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 7b45bcb3c..d7c1ece96 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1186,6 +1186,8 @@ void SmtEngine::setLogic(const char* logic) { setLogic(string(logic)); } LogicInfo SmtEngine::getLogicInfo() const { return d_logic; } +void SmtEngine::setFilename(std::string filename) { d_filename = filename; } +std::string SmtEngine::getFilename() const { return d_filename; } void SmtEngine::setLogicInternal() { Assert(!d_fullyInited, "setting logic in SmtEngine but the engine has already" |