Fixed a typo in r4576

diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp
index 74e0ad2963e8ab86e2ff2b492908ee0ee6c54ff7..8bd151f31756d25e0e06fa79254281b0dd6d8c70 100644 (file)
--- 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>());
     }
   }