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/prop/theory_proxy.cpp | |
| 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/prop/theory_proxy.cpp')
| -rw-r--r-- | src/prop/theory_proxy.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/prop/theory_proxy.cpp b/src/prop/theory_proxy.cpp index 8f74b716f..ae27554f4 100644 --- a/src/prop/theory_proxy.cpp +++ b/src/prop/theory_proxy.cpp @@ -238,8 +238,9 @@ void TheoryProxy::logDecision(SatLiteral lit) { #endif /* CVC4_REPLAY */ } -void TheoryProxy::spendResource(unsigned ammount) { - d_theoryEngine->spendResource(ammount); +void TheoryProxy::spendResource(unsigned amount) +{ + d_theoryEngine->spendResource(amount); } bool TheoryProxy::isDecisionRelevant(SatVariable var) { |