From 875ef7327561a8b2fa03d1c05ecf4e8eb462719c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 4 May 2023 12:27:08 -0700
Subject: [PATCH] Temporarily disabling &transduction for an old windows
 compiler.

---
 src/aig/gia/giaTransduction.cpp | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/src/aig/gia/giaTransduction.cpp b/src/aig/gia/giaTransduction.cpp
index 8bb680cb4..f071b3f45 100644
--- a/src/aig/gia/giaTransduction.cpp
+++ b/src/aig/gia/giaTransduction.cpp
@@ -1,3 +1,6 @@
+
+#ifndef _WIN32
+
 #ifdef _WIN32
 #ifndef __MINGW32__
 #pragma warning(disable : 4786) // warning C4786: identifier was truncated to '255' characters in the browser information
@@ -123,3 +126,22 @@ Gia_Man_t *Gia_ManTransductionTt(Gia_Man_t *pGia, int nType, int fMspf, int nRan
 }
 
 ABC_NAMESPACE_IMPL_END
+
+#else
+
+#include "gia.h"
+
+ABC_NAMESPACE_IMPL_START
+
+Gia_Man_t * Gia_ManTransductionBdd(Gia_Man_t *pGia, int nType, int fMspf, int nRandom, int nSortType, int nPiShuffle, int nParameter, int fLevel, Gia_Man_t *pExdc, int fNewLine, int nVerbose)
+{
+    return NULL;
+}
+Gia_Man_t * Gia_ManTransductionTt(Gia_Man_t *pGia, int nType, int fMspf, int nRandom, int nSortType, int nPiShuffle, int nParameter, int fLevel, Gia_Man_t *pExdc, int fNewLine, int nVerbose)
+{
+    return NULL;
+}
+
+ABC_NAMESPACE_IMPL_END
+
+#endif