diff options
Diffstat (limited to 'src/smt/dump.h')
| -rw-r--r-- | src/smt/dump.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/dump.h b/src/smt/dump.h index 9aeb771dc..6e14fc59f 100644 --- a/src/smt/dump.h +++ b/src/smt/dump.h @@ -26,7 +26,7 @@ namespace cvc5 { class Command; class NodeCommand; -#if defined(CVC4_DUMPING) && !defined(CVC4_MUZZLE) +#if defined(CVC5_DUMPING) && !defined(CVC5_MUZZLE) class CVC4dumpstream { @@ -62,7 +62,7 @@ class CVC4dumpstream CVC4dumpstream& operator<<(const NodeCommand& nc); }; /* class CVC4dumpstream */ -#endif /* CVC4_DUMPING && !CVC4_MUZZLE */ +#endif /* CVC5_DUMPING && !CVC5_MUZZLE */ /** The dump class */ class DumpC |