From 831f8576816a01b18b2efee1ba2788e3352d68ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 8 Jan 2025 21:17:41 +0100
Subject: [PATCH] Fix build for gcc

---
 backends/aiger2/aiger.cc | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index b68c95f63..33ce19801 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -1476,7 +1476,7 @@ struct Partitioning : Index<Partitioning, int64_t, -1, 1> {
 	int64_t nvars = 1;
 	int64_t ngates = 0;
 
-	mfp<Lit> mfp; 
+	mfp<Lit> mfp_; 
 
 	Lit emit_gate(Lit a, Lit b)
 	{
@@ -1488,8 +1488,8 @@ struct Partitioning : Index<Partitioning, int64_t, -1, 1> {
 
 		ngates++;
 		Lit ret = ++nvars;
-		mfp.merge(ret, a);
-		mfp.merge(ret, b);
+		mfp_.merge(ret, a);
+		mfp_.merge(ret, b);
 		return ret;
 	}
 
@@ -1528,8 +1528,8 @@ struct Partitioning : Index<Partitioning, int64_t, -1, 1> {
 
 		dict<Lit, int> partition_sizes;
 
-		for (Lit var : mfp)
-			partition_sizes[mfp.lookup(var)]++;
+		for (Lit var : mfp_)
+			partition_sizes[mfp_.lookup(var)]++;
 
 		std::vector<int> sorted;
 		for (auto pair : partition_sizes)