diff options
Diffstat (limited to 'src/main/driver_unified.cpp')
| -rw-r--r-- | src/main/driver_unified.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 7a39f5fc2..374f68257 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -193,8 +193,8 @@ int runCvc4(int argc, char* argv[], Options& opts) { ReferenceStat<std::string> s_statFilename("filename", filenameStr); RegisterStatistic statFilenameReg(&pExecutor->getStatisticsRegistry(), &s_statFilename); - // set filename in smt engine - pExecutor->getSmtEngine()->setFilename(filenameStr); + // notify SmtEngine that we are starting to parse + pExecutor->getSmtEngine()->notifyStartParsing(filenameStr); // Parse and execute commands until we are done Command* cmd; |