From: Tim King <taking@cs.nyu.edu>
Date: Wed, 14 Nov 2012 22:48:06 +0000 (+0000)
Subject: Fixed a typo in r4576
X-Git-Tag: cvc5-1.0.0~7598
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=73bf2532d70177ee768c508ef971b969994cea2c;p=cvc5.git

Fixed a typo in r4576
---

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>());
     }
   }