From 419c9bff0daabe30b012bd9a4de0757b0eac7609 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Fri, 4 Jun 2010 19:32:26 +0000
Subject: [PATCH] Changed several arguments to const references.

---
 src/theory/arith/delta_rational.h | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h
index c37c65241..60db60c1a 100644
--- a/src/theory/arith/delta_rational.h
+++ b/src/theory/arith/delta_rational.h
@@ -71,21 +71,21 @@ public:
     return *(this) + (a * negOne);
   }
 
-  bool operator==(DeltaRational& other){
+  bool operator==(const DeltaRational& other) const{
     return (k == other.k) && (c == other.c);
   }
 
-  bool operator<=(DeltaRational& other){
+  bool operator<=(const DeltaRational& other) const{
     int cmp = c.cmp(other.c);
     return (cmp < 0) || ((cmp==0)&&(k <= other.k));
   }
-  bool operator<(DeltaRational& other){
+  bool operator<(const DeltaRational& other) const{
     return (other  > *this);
   }
-  bool operator>=(DeltaRational& other){
+  bool operator>=(const DeltaRational& other) const{
     return (other <= *this);
   }
-  bool operator>(DeltaRational& other){
+  bool operator>(const DeltaRational& other) const{
     return !(*this <= other);
   }
 
-- 
2.30.2