From d1d861f70380301c1ad67fab2de273441b3629aa Mon Sep 17 00:00:00 2001
From: MyskYko <yoyuohlhjl@yahoo.co.jp>
Date: Wed, 12 Feb 2025 04:43:15 -0800
Subject: [PATCH] fix template

---
 src/opt/rrr/rrrAndNetwork.h | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/opt/rrr/rrrAndNetwork.h b/src/opt/rrr/rrrAndNetwork.h
index 01a3b1412..9643c474d 100644
--- a/src/opt/rrr/rrrAndNetwork.h
+++ b/src/opt/rrr/rrrAndNetwork.h
@@ -73,8 +73,8 @@ namespace rrr {
     int  AddPi();
     int  AddPo(int id, bool c);
     int  AddAnd(int id0, int id1, bool c0, bool c1);
-    template <typename Ntk>
-    void Read(Ntk *pFrom, std::function<void(Ntk *, AndNetwork *)> const &Reader);
+    template <typename Ntk, typename Reader>
+    void Read(Ntk *pFrom, Reader &reader);
 
     // network properties
     bool UseComplementedEdges() const;
@@ -287,10 +287,10 @@ namespace rrr {
     return nNodes++;
   }
 
-  template <typename Ntk>
-  void AndNetwork::Read(Ntk *pFrom, std::function<void(Ntk *, AndNetwork *)> const &Reader) {
+  template <typename Ntk, typename Reader>
+  void AndNetwork::Read(Ntk *pFrom, Reader &reader) {
     Clear();
-    Reader(pFrom, this);
+    reader(pFrom, this);
   }
   
   /* }}} */