Fix merge error of previous commit.

weka · Jun 1, 2023 · a1a19fd · a1a19fd
1 parent f29ddd7
commit a1a19fd
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/driver/cl_options.cpp b/driver/cl_options.cpp
@@ -139,10 +139,6 @@ static cl::opt<unsigned, true> errorLimit(
     "verrors", cl::ZeroOrMore, cl::location(global.params.errorLimit),
     cl::desc("Limit the number of error messages (0 means unlimited)"));
 
-static cl::opt<unsigned, true> errorSupplementLimit(
-    "verror-supplements", cl::ZeroOrMore, cl::location(global.params.errorSupplementLimit),
-    cl::desc("Limit the number of supplemental messages for each error (0 means unlimited)"));
-
 static cl::opt<bool, true>
     showGaggedErrors("verrors-spec", cl::ZeroOrMore,
                      cl::location(global.params.showGaggedErrors),