From 6c8c6aafc505afa9a10ea51d5d47aa898a2d8489 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 19 Sep 2022 12:41:19 -0700 Subject: Temporarily disabling new code. --- src/aig/gia/giaTtopt.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/aig/gia/giaTtopt.cpp b/src/aig/gia/giaTtopt.cpp index 99594afc..e5dff231 100644 --- a/src/aig/gia/giaTtopt.cpp +++ b/src/aig/gia/giaTtopt.cpp @@ -1211,11 +1211,13 @@ Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, c } #endif +extern "C" Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds ) { return NULL; } +extern "C" Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, char * pFileName, int nRarity ) { return NULL; -- cgit v1.2.3