From ba0fbbe8345654525b2f4918e4dd55f868ccb823 Mon Sep 17 00:00:00 2001 From: Jaeseok Kang Date: Mon, 1 Jul 2024 16:24:51 -0400 Subject: [PATCH] rm benchmark_percent --- main.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/main.cpp b/main.cpp index 00e0989..70ed2f3 100644 --- a/main.cpp +++ b/main.cpp @@ -778,8 +778,6 @@ void preprocesscustomizationfile(const std::string &now_string, DISPLAY_RANK_TO_INDIVIDUAL = true; } else if (token == "display_benchmark") { continue; - } else if (token == "benchmark_percent") { - continue; } else if (token == "section") { continue; } else if (token == "messages") {