diff options
Diffstat (limited to 'src/map/fpga')
| -rw-r--r-- | src/map/fpga/fpgaCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/fpga/fpgaCore.c b/src/map/fpga/fpgaCore.c index 2e5529f2..2de8b73a 100644 --- a/src/map/fpga/fpgaCore.c +++ b/src/map/fpga/fpgaCore.c @@ -46,7 +46,7 @@ static int Fpga_MappingPostProcess( Fpga_Man_t * p ); int Fpga_Mapping( Fpga_Man_t * p ) { int clk, clkTotal = clock(); - + // collect the nodes reachable from POs in the DFS order (including the choices) p->vAnds = Fpga_MappingDfs( p, 1 ); Fpga_ManReportChoices( p ); // recomputes levels |