From 23c632f1138dee85614f425344d18cf0c91c5c0c Mon Sep 17 00:00:00 2001
From: MyskYko <yoyuohlhjl@yahoo.co.jp>
Date: Wed, 12 Feb 2025 05:42:03 -0800
Subject: [PATCH] compilation error

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

diff --git a/src/opt/rrr/rrrAndNetwork.h b/src/opt/rrr/rrrAndNetwork.h
index f4f6028d1..2d321186c 100644
--- a/src/opt/rrr/rrrAndNetwork.h
+++ b/src/opt/rrr/rrrAndNetwork.h
@@ -271,7 +271,7 @@ namespace rrr {
     sInts.insert(nNodes);
     vRefs[id0]++;
     vRefs[id1]++;
-    vvFaninEdges.emplace_back((std::initializer_list<int>){Node2Edge(id0, c0), Node2Edge(id1, c1)});
+    vvFaninEdges.emplace_back(std::initializer_list<int>({Node2Edge(id0, c0), Node2Edge(id1, c1)}));
     vRefs.push_back(0);
     assert(nNodes != std::numeric_limits<int>::max());
     return nNodes++;
@@ -281,7 +281,7 @@ namespace rrr {
     assert(id < nNodes);
     vPos.push_back(nNodes);
     vRefs[id]++;
-    vvFaninEdges.emplace_back((std::initializer_list<int>){Node2Edge(id, c)});
+    vvFaninEdges.emplace_back(std::initializer_list<int>({Node2Edge(id, c)}));
     vRefs.push_back(0);
     assert(nNodes != std::numeric_limits<int>::max());
     return nNodes++;