diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-26 15:00:26 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-26 15:00:26 +0000 |
| commit | c005a1109982f13427b15e12501f6150fe2f7330 (patch) | |
| tree | af2fb375e7018ec25bd1906f8eae8b296a498bf2 /src/smt/smt_engine.h | |
| parent | d4de9caf21439e5b34b0b254e6de7a97c67817b5 (diff) | |
don't include internal variables in model output
Diffstat (limited to 'src/smt/smt_engine.h')
| -rw-r--r-- | src/smt/smt_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index 3a7fbe389..2590bc8e2 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -304,7 +304,7 @@ class CVC4_PUBLIC SmtEngine { * Add to Model command. This is used for recording a command * that should be reported during a get-model call. */ - void addToModelCommandAndDump(const Command& c, const char* dumpTag = "declarations"); + void addToModelCommandAndDump(const Command& c, bool userVisible = true, const char* dumpTag = "declarations"); /** * Get the model (only if immediately preceded by a SAT |