diff --git a/include/mockturtle/views/choice_view.hpp b/include/mockturtle/views/choice_view.hpp
index 8824bfbc7..a65eb3c68 100644
--- a/include/mockturtle/views/choice_view.hpp
+++ b/include/mockturtle/views/choice_view.hpp
@@ -582,7 +582,7 @@ class choice_view<Ntk, false> : public Ntk
 private:
   std::shared_ptr<std::vector<node>> _choice_repr;
   std::shared_ptr<std::vector<signal>> _choice_phase;
-  choice_view_params const _ps;
+  choice_view_params _ps;
   std::shared_ptr<typename network_events<Ntk>::add_event_type> _add_event;
 };