From 73bf2532d70177ee768c508ef971b969994cea2c Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Wed, 14 Nov 2012 22:48:06 +0000
Subject: [PATCH] Fixed a typo in r4576

---
 src/theory/arith/theory_arith.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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