diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-09 22:05:02 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-01-09 22:05:02 -0800 |
commit | 2e5cc613d280fab1be89d8360250cbc3a1635ac9 (patch) | |
tree | ced7d813eec67a32fd3f1b4a1174f5ff00ab1767 /src/theory/arith/delta_rational.h | |
parent | ff9d2c84dae5eb21a7ef77f5931673fb23129730 (diff) |
Cleaning up throw specifiers on Exception and subclasses. (#1475)
Diffstat (limited to 'src/theory/arith/delta_rational.h')
-rw-r--r-- | src/theory/arith/delta_rational.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h index b0ea8a9c1..7a1c18ea2 100644 --- a/src/theory/arith/delta_rational.h +++ b/src/theory/arith/delta_rational.h @@ -31,9 +31,11 @@ namespace CVC4 { class DeltaRational; class DeltaRationalException : public Exception { -public: - DeltaRationalException(const char* op, const DeltaRational& a, const DeltaRational& b) throw (); - virtual ~DeltaRationalException() throw (); + public: + DeltaRationalException(const char* op, + const DeltaRational& a, + const DeltaRational& b); + ~DeltaRationalException() override; }; |