diff options
Diffstat (limited to 'src/smt/dump_manager.h')
| -rw-r--r-- | src/smt/dump_manager.h | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/smt/dump_manager.h b/src/smt/dump_manager.h index 3238d3a8d..192bb2324 100644 --- a/src/smt/dump_manager.h +++ b/src/smt/dump_manager.h @@ -49,13 +49,10 @@ class DumpManager */ void resetAssertions(); /** - * Add to Model command. This is used for recording a command - * that should be reported during a get-model call. + * Add to dump command. This is used for recording a command + * that should be reported via the dumpTag trace. */ - void addToModelCommandAndDump(const NodeCommand& c, - uint32_t flags = 0, - bool userVisible = true, - const char* dumpTag = "declarations"); + void addToDump(const NodeCommand& c, const char* dumpTag = "declarations"); /** * Set that function f should print in the model if and only if p is true. |