diff --git a/abclib.dsp b/abclib.dsp
index f9c097595..e78500233 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -3695,6 +3695,10 @@ SOURCE=.\src\bool\lucky\lucky.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\bool\lucky\lucky.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\bool\lucky\luckyInt.h
 # End Source File
 # Begin Source File
diff --git a/src/bool/lucky/lucky.h b/src/bool/lucky/lucky.h
index cfe9de2e3..7b866bc7c 100644
--- a/src/bool/lucky/lucky.h
+++ b/src/bool/lucky/lucky.h
@@ -20,7 +20,7 @@
 
 ABC_NAMESPACE_HEADER_START
 
-extern unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm, short * pStore );
+extern unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm );
 
 ABC_NAMESPACE_HEADER_END