From a47e3b6f58c11797418a0aaf5deeebcf0456e20c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 3 Oct 2012 22:03:16 -0700 Subject: C++ portability changes. --- src/bool/lucky/luckyInt.h | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'src/bool/lucky/luckyInt.h') diff --git a/src/bool/lucky/luckyInt.h b/src/bool/lucky/luckyInt.h index f236693c..caf679cd 100644 --- a/src/bool/lucky/luckyInt.h +++ b/src/bool/lucky/luckyInt.h @@ -126,10 +126,9 @@ extern inline unsigned Kit_TruthSemiCanonicize_Yasha( word* pInOut, int nVars, extern inline unsigned Kit_TruthSemiCanonicize_Yasha1( word* pInOut, int nVars, char * pCanonPerm, int * pStore); extern inline word luckyCanonicizer_final_fast_6Vars(word InOut, int* pStore, char* pCanonPerm, unsigned* pCanonPhase); extern inline word luckyCanonicizer_final_fast_6Vars1(word InOut, int* pStore, char* pCanonPerm, unsigned* pCanonPhase); -extern inline void resetPCanonPermArray_6Vars(char* x); -extern void swap_ij( word* f,int totalVars, int varI, int varJ); extern inline unsigned adjustInfoAfterSwap(char* pCanonPerm, unsigned uCanonPhase, int iVar, unsigned info); -extern inline void resetPCanonPermArray(char* x, int nVars); +extern void resetPCanonPermArray_6Vars(char* x); +extern void swap_ij( word* f,int totalVars, int varI, int varJ); ABC_NAMESPACE_HEADER_END -- cgit v1.2.3