From 2df7443317be7655713cf9e5abb0b5aa87f643af Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 19 Sep 2022 12:33:45 -0700
Subject: Temporarily disabling new code.

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

diff --git a/src/aig/gia/giaTtopt.cpp b/src/aig/gia/giaTtopt.cpp
index eca0989d..99594afc 100644
--- a/src/aig/gia/giaTtopt.cpp
+++ b/src/aig/gia/giaTtopt.cpp
@@ -1,4 +1,6 @@
 // Author : Yukio Miyasaka
+#if 0
+
 #include <iostream>
 #include <fstream>
 #include <string>
@@ -12,10 +14,14 @@
 #include <bitset>
 #include <unordered_map>
 
+#endif
+
 #include "gia.h"
 
 ABC_NAMESPACE_IMPL_START
 
+#if 0
+
 namespace Ttopt {
 
 struct PairHasher {
@@ -1203,5 +1209,17 @@ Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, c
     Vec_WrdFreeP( &vSimI );
     return pNew;
 }
+#endif
+
+Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds )
+{
+    return NULL;
+}
+
+Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, char * pFileName, int nRarity )
+{
+    return NULL;
+}
 
 ABC_NAMESPACE_IMPL_END
+
-- 
cgit v1.2.3