From 72f0fea9e897366845aed9ec439334a5555d00cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Mon, 7 Oct 2024 12:27:37 +0200
Subject: [PATCH] aiger2: Try to fix VS build

---
 backends/aiger2/aiger.cc | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index 29b8ee96b..3fc6ccdba 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -47,11 +47,8 @@ PRIVATE_NAMESPACE_BEGIN
 #define KNOWN_OPS BITWISE_OPS, REDUCE_OPS, LOGIC_OPS, GATE_OPS, ID($pos), CMP_OPS, \
 				  ID($pmux), ID($bmux) /*, ARITH_OPS*/
 
-template<typename Writer, typename Lit>
+template<typename Writer, typename Lit, Lit CFALSE, Lit CTRUE>
 struct Index {
-	static constexpr Lit CFALSE = Writer::CONST_FALSE;
-	static constexpr Lit CTRUE = Writer::CONST_TRUE;
-
 	struct HierCursor;
 	struct ModuleInfo {
 		Module *module;
@@ -664,7 +661,7 @@ struct Index {
 	}
 };
 
-struct AigerWriter : Index<AigerWriter, unsigned int> {
+struct AigerWriter : Index<AigerWriter, unsigned int, 0, 1> {
 	typedef unsigned int Lit;
 
 	const static Lit CONST_FALSE = 0;
@@ -804,7 +801,7 @@ struct AigerWriter : Index<AigerWriter, unsigned int> {
 	}
 };
 
-struct XAigerAnalysis : Index<XAigerAnalysis, int> {
+struct XAigerAnalysis : Index<XAigerAnalysis, int, 0, 0> {
 	const static int CONST_FALSE = 0;
 	const static int CONST_TRUE = 0;
 	const static constexpr int EMPTY_LIT = -1;