From a0005cd3c91822718911ddd6cf71ec9ae8fa6cb6 Mon Sep 17 00:00:00 2001
From: Maximilien Colange <colange@lrde.epita.fr>
Date: Sat, 28 Jul 2018 16:46:41 +0200
Subject: [PATCH] * spot/twa/acc.hh: fix constness

---
 spot/twa/acc.hh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/spot/twa/acc.hh b/spot/twa/acc.hh
index 783b943f2..1de4e344e 100644
--- a/spot/twa/acc.hh
+++ b/spot/twa/acc.hh
@@ -729,14 +729,14 @@ namespace spot
         return *this;
       }
 
-      acc_code operator&(const acc_code& r)
+      acc_code operator&(const acc_code& r) const
       {
         acc_code res = *this;
         res &= r;
         return res;
       }
 
-      acc_code operator&(acc_code&& r)
+      acc_code operator&(acc_code&& r) const
       {
         acc_code res = *this;
         res &= r;
@@ -829,14 +829,14 @@ namespace spot
         return *this;
       }
 
-      acc_code operator|(acc_code&& r)
+      acc_code operator|(acc_code&& r) const
       {
         acc_code res = *this;
         res |= r;
         return res;
       }
 
-      acc_code operator|(const acc_code& r)
+      acc_code operator|(const acc_code& r) const
       {
         acc_code res = *this;
         res |= r;