diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-01-15 22:47:40 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-15 22:47:40 -0800 |
| commit | 4538f5fe95758f2507c191ab39175491f24e6f67 (patch) | |
| tree | 9b288d3601692488e02c10adebf7f90b227981a0 /src/smt/dump.h | |
| parent | 9ee67c0d1180c7cf85fb648b57bb47100db3d633 (diff) | |
Removing more miscellaneous throw specifiers. (#1509)
Removing more miscellaneous throw specifiers. Also fixing the spelling of amount in several places.
Diffstat (limited to 'src/smt/dump.h')
| -rw-r--r-- | src/smt/dump.h | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/smt/dump.h b/src/smt/dump.h index 3c4d14693..b7cfc7ae7 100644 --- a/src/smt/dump.h +++ b/src/smt/dump.h @@ -34,24 +34,24 @@ class CVC4_PUBLIC CVC4dumpstream { CommandSequence* d_commands; #endif /* CVC4_PORTFOLIO */ -public: - CVC4dumpstream() throw() + public: + CVC4dumpstream() #if defined(CVC4_DUMPING) && !defined(CVC4_MUZZLE) && defined(CVC4_PORTFOLIO) - : d_os(NULL), d_commands(NULL) + : d_os(NULL), d_commands(NULL) #elif defined(CVC4_DUMPING) && !defined(CVC4_MUZZLE) - : d_os(NULL) + : d_os(NULL) #elif defined(CVC4_PORTFOLIO) - : d_commands(NULL) + : d_commands(NULL) #endif /* CVC4_PORTFOLIO */ { } - CVC4dumpstream(std::ostream& os, CommandSequence& commands) throw() + CVC4dumpstream(std::ostream& os, CommandSequence& commands) #if defined(CVC4_DUMPING) && !defined(CVC4_MUZZLE) && defined(CVC4_PORTFOLIO) - : d_os(&os), d_commands(&commands) + : d_os(&os), d_commands(&commands) #elif defined(CVC4_DUMPING) && !defined(CVC4_MUZZLE) - : d_os(&os) + : d_os(&os) #elif defined(CVC4_PORTFOLIO) - : d_commands(&commands) + : d_commands(&commands) #endif /* CVC4_PORTFOLIO */ { } |