Fix report_times typo

ampl · Apr 30, 2024 · ddf78d8 · ddf78d8
1 parent 95525ce
commit ddf78d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solver.cc b/src/solver.cc
@@ -650,7 +650,7 @@ void BasicSolver::InitMetaInfoAndOptions(
       "important, then the second objective and so on.")));
   }
 
-  AddIntOption("tech:timing timing tech:reporttimes reporttimes",
+  AddIntOption("tech:timing timing tech:report_times report_times",
     "0*/1/2: Whether to print and return timings for the run, all times are wall "
     "times. If set to 1, return the solution times in the problem suffixes "
     "'time_solver', 'time_setup' and 'time', 'time'= time_solver+time_setup+time_output is a "