From 2a3e907da847342da56fd7a067e4f288213c36db Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 18 Sep 2024 16:39:05 +0200
Subject: [PATCH] aiger2: Adjust typing

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

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index c6386b783..d205f8508 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -125,7 +125,7 @@ struct Index {
 
 	bool const_folding = true;
 	bool strashing = false;
-	dict<std::pair<int, int>, int> cache;
+	dict<std::pair<Lit, Lit>, Lit> cache;
 
 	Lit AND(Lit a, Lit b)
 	{
@@ -602,7 +602,7 @@ struct AigerWriter : Index<AigerWriter, unsigned int> {
 	}
 
 	void write_header() {
-		log_assert(lit_counter == (ninputs + nlatches + nands) * 2 + 2);
+		log_assert(lit_counter == (Lit) (ninputs + nlatches + nands) * 2 + 2);
 
 		char buf[128];
 		snprintf(buf, sizeof(buf) - 1, "aig %08d %08d %08d %08d %08d\n",