From 8802f7cd19e8908d186bd7fd006b094f6c955e66 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 8 May 2017 16:31:38 -0700
Subject: [PATCH] chore(library/phashtable): unnecessary/incorrect annotations

---
 src/library/phashtable.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/library/phashtable.h b/src/library/phashtable.h
index 9489283f65..bcf63a5e34 100644
--- a/src/library/phashtable.h
+++ b/src/library/phashtable.h
@@ -286,7 +286,7 @@ private:
         } ((void) 0)
 
     bool erase_aux(data const & e) {
-        typename table::exclusive_access A(const_cast<table &>(m_table));
+        typename table::exclusive_access A(m_table);
         unsigned hash  = get_hash(e);
         unsigned cap   = A.size();
         unsigned mask  = cap - 1;
@@ -334,7 +334,7 @@ public:
         unsigned overhead = 0;
         unsigned cap      = 0;
         {
-            typename table::exclusive_access A(const_cast<table &>(m_table));
+            typename table::exclusive_access A(m_table);
             cap   = A.size();
             for (unsigned idx = 0; idx < cap; idx++) {
                 if (!A[idx].is_free)
@@ -353,7 +353,7 @@ public:
     }
 
 
-    bool check_invariant() {
+    bool check_invariant() const {
         typename table::exclusive_access A(const_cast<table &>(m_table));
         unsigned cap = A.size();
         unsigned num_deleted = 0;