diff --git a/include/mockturtle/algorithms/aig_resub.hpp b/include/mockturtle/algorithms/aig_resub.hpp index ac6ad5d70..e59a73096 100644 --- a/include/mockturtle/algorithms/aig_resub.hpp +++ b/include/mockturtle/algorithms/aig_resub.hpp @@ -748,7 +748,7 @@ struct aig_resyn_resub_stats void report() const { - fmt::print( "[i] \n" ); + fmt::print( "[i] \n" ); fmt::print( "[i] #solution = {:6d}\n", num_success ); fmt::print( "[i] #invoke = {:6d}\n", num_success + num_fail ); fmt::print( "[i] engine time: {:>5.2f} secs\n", to_seconds( time_compute_function ) ); diff --git a/include/mockturtle/algorithms/xag_resub.hpp b/include/mockturtle/algorithms/xag_resub.hpp index bb15faeb8..1a2774f24 100644 --- a/include/mockturtle/algorithms/xag_resub.hpp +++ b/include/mockturtle/algorithms/xag_resub.hpp @@ -56,7 +56,7 @@ struct xag_resyn_resub_stats void report() const { - fmt::print( "[i] \n" ); + fmt::print( "[i] \n" ); fmt::print( "[i] #solution = {:6d}\n", num_success ); fmt::print( "[i] #invoke = {:6d}\n", num_success + num_fail ); fmt::print( "[i] engine time: {:>5.2f} secs\n", to_seconds( time_compute_function ) );