Changed several arguments to const references.

1 files 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);
   }