diff --git a/src/bool/lucky/luckyFast6.c b/src/bool/lucky/luckyFast6.c
index bfc555aa2..c5b18b933 100644
--- a/src/bool/lucky/luckyFast6.c
+++ b/src/bool/lucky/luckyFast6.c
@@ -18,7 +18,7 @@
 
 ABC_NAMESPACE_IMPL_START
 
-inline void resetPCanonPermArray_6Vars(char* x)
+void resetPCanonPermArray_6Vars(char* x)
 {
     x[0]='a';
     x[1]='b';
@@ -27,7 +27,7 @@ inline void resetPCanonPermArray_6Vars(char* x)
     x[4]='e';
     x[5]='f';
 }
-inline void resetPCanonPermArray(char* x, int nVars)
+void resetPCanonPermArray(char* x, int nVars)
 {
     int i;
     for(i=0;i<nVars;i++)
@@ -36,7 +36,7 @@ inline void resetPCanonPermArray(char* x, int nVars)
 
 
 
-inline word Abc_allFlip(word x, unsigned* pCanonPhase)
+ word Abc_allFlip(word x, unsigned* pCanonPhase)
 {
     if(  (x>>63) )
     {
diff --git a/src/bool/lucky/luckyInt.h b/src/bool/lucky/luckyInt.h
index f236693cf..caf679cd6 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