diff options
author | Tim King <taking@cs.nyu.edu> | 2012-11-14 22:48:06 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-11-14 22:48:06 +0000 |
commit | 73bf2532d70177ee768c508ef971b969994cea2c (patch) | |
tree | 4e0962ae074371528ad4b6af46f20df3f12fc094 /src/theory/arith/theory_arith.cpp | |
parent | 1ce18eac8d3479d9c02c623698e8abd2e26cfff3 (diff) |
Fixed a typo in r4576
Diffstat (limited to 'src/theory/arith/theory_arith.cpp')
-rw-r--r-- | src/theory/arith/theory_arith.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp index 74e0ad296..8bd151f31 100644 --- a/src/theory/arith/theory_arith.cpp +++ b/src/theory/arith/theory_arith.cpp @@ -2110,7 +2110,7 @@ Rational TheoryArith::deltaValueForTotalOrder() const{ shared_end = shared_terms_end(); shared_iter != shared_end; ++shared_iter){ Node sharedCurr = *shared_iter; if(sharedCurr.getKind() == CONST_RATIONAL){ - relevantDeltaValues.insert(sharedCurr.getConst<Rational>());: + relevantDeltaValues.insert(sharedCurr.getConst<Rational>()); } } |