diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
index 5c2758862..384cd3d7c 100644
--- a/.github/workflows/macos.yml
+++ b/.github/workflows/macos.yml
@@ -11,7 +11,7 @@ on:
 jobs:
   build-gcc10:
     name: GNU GCC 10
-    runs-on: macOS-11
+    runs-on: macOS-12
 
     steps:
     - uses: actions/checkout@v1
diff --git a/include/mockturtle/views/binding_view.hpp b/include/mockturtle/views/binding_view.hpp
index 5f91a1166..1eb529a0e 100644
--- a/include/mockturtle/views/binding_view.hpp
+++ b/include/mockturtle/views/binding_view.hpp
@@ -251,7 +251,7 @@ class binding_view : public Ntk
   }
 
 private:
-  std::vector<gate> const _library;
+  std::vector<gate> _library;
   node_map<uint32_t, Ntk, std::unordered_map<node, uint32_t>> _bindings;
 }; /* binding_view */
 
diff --git a/include/mockturtle/views/cell_view.hpp b/include/mockturtle/views/cell_view.hpp
index af00873c4..505cea822 100644
--- a/include/mockturtle/views/cell_view.hpp
+++ b/include/mockturtle/views/cell_view.hpp
@@ -287,7 +287,7 @@ class cell_view : public Ntk
   }
 
 private:
-  std::vector<standard_cell> const _library;
+  std::vector<standard_cell> _library;
   node_map<uint32_t, Ntk, std::unordered_map<node, uint32_t>> _cells;
 }; /* cell_view */