From b7fe3a73315a4110ee72dea123c327bfadb65a77 Mon Sep 17 00:00:00 2001
From: Alessandro Tempia Calvino <44085674+aletempiac@users.noreply.github.com>
Date: Thu, 23 May 2024 15:30:33 +0200
Subject: [PATCH] Bug fixes and workflow updates (#643)

* Bug fixes in binding and cell views

* Updating workflows

* Removing GCC-13 workflow due to a known bug in Xcode
---
 .github/workflows/macos.yml               | 18 ------------------
 include/mockturtle/views/binding_view.hpp |  2 +-
 include/mockturtle/views/cell_view.hpp    |  2 +-
 3 files changed, 2 insertions(+), 20 deletions(-)

diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
index 5c2758862..488c2242e 100644
--- a/.github/workflows/macos.yml
+++ b/.github/workflows/macos.yml
@@ -9,24 +9,6 @@ on:
     - master
 
 jobs:
-  build-gcc10:
-    name: GNU GCC 10
-    runs-on: macOS-11
-
-    steps:
-    - uses: actions/checkout@v1
-      with:
-        submodules: true
-    - name: Build mockturtle
-      run: |
-        mkdir build
-        cd build
-        cmake -DCMAKE_CXX_COMPILER=$(which g++-10) -DMOCKTURTLE_TEST=ON ..
-        make run_tests
-    - name: Run tests
-      run: |
-        cd build
-        ./test/run_tests "~[quality]"
   build-gcc11:
     name: GNU GCC 11
     runs-on: macOS-latest
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 */