1 files changed, 18 insertions, 0 deletions
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
+