diff options
Diffstat (limited to 'src/bool/lucky/luckySimple.c')
| -rw-r--r-- | src/bool/lucky/luckySimple.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/bool/lucky/luckySimple.c b/src/bool/lucky/luckySimple.c index c38fc28c..f9128f3f 100644 --- a/src/bool/lucky/luckySimple.c +++ b/src/bool/lucky/luckySimple.c @@ -103,7 +103,7 @@ void fillInFlipArray(permInfo* pi) } -inline int factorial(int n) +static inline int factorial(int n) { return (n == 1 || n == 0) ? 1 : factorial(n - 1) * n; } @@ -129,14 +129,14 @@ void freePermInfoPtr(permInfo* x) free(x->swapArray); free(x); } -inline void minWord(word* a, word* b, word* minimal, int nVars) +static inline void minWord(word* a, word* b, word* minimal, int nVars) { if(memCompare(a, b, nVars) == -1) Kit_TruthCopy_64bit( minimal, a, nVars ); else Kit_TruthCopy_64bit( minimal, b, nVars ); } -inline void minWord3(word* a, word* b, word* minimal, int nVars) +static inline void minWord3(word* a, word* b, word* minimal, int nVars) { if (memCompare(a, b, nVars) <= 0) { |