summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifDec10.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/map/if/ifDec10.c')
-rw-r--r--src/map/if/ifDec10.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifDec10.c b/src/map/if/ifDec10.c
index f51ecc7b..e91dc5c2 100644
--- a/src/map/if/ifDec10.c
+++ b/src/map/if/ifDec10.c
@@ -256,7 +256,7 @@ static inline void If_Dec10MoveTo( word * pF, int nVars, int v, int p, int Pla2V
If_Dec10Copy( pF, pIn, nVars );
assert( Pla2Var[p] == v );
}
-
+/*
// derive binary function
static inline int If_Dec10DeriveCount2( word * pF, word * pRes, int nVars )
{
@@ -280,7 +280,7 @@ static inline int If_Dec10DeriveCount2( word * pF, word * pRes, int nVars )
*pRes = ((iCof1 << nShift) | iCof0);
return MaskDec;
}
-
+*/
static inline word If_DecTruthStretch( word t, int nVars )
{
assert( nVars > 1 );