Changed several arguments to const references.

diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h
index c37c652417c88c60d166c8e1ddeac2691e8d2925..60db60c1a12ce3eb974ad62e69789187036d28b0 100644 (file)
--- 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);
   }