diff options
Diffstat (limited to 'src/opt/dar/darLib.c')
| -rw-r--r-- | src/opt/dar/darLib.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dar/darLib.c b/src/opt/dar/darLib.c index 2d047404..41794d18 100644 --- a/src/opt/dar/darLib.c +++ b/src/opt/dar/darLib.c @@ -1186,7 +1186,7 @@ int Dar2_LibEval( Gia_Man_t * p, Vec_Int_t * vCutLits, unsigned uTruth, int fKee int p_LevelBest = 1000000; int p_GainBest = -1000000; int p_ClassBest = -1; - int fTraining = 0; +// int fTraining = 0; Dar_LibObj_t * pObj; int Out, k, Class, nNodesSaved, nNodesAdded, nNodesGained, clk; clk = clock(); |