From ddf78d80e1327b6edf493867b36d0182e25fa15d Mon Sep 17 00:00:00 2001
From: Gleb Belov <gleb@ampl.com>
Date: Tue, 30 Apr 2024 19:18:57 +1000
Subject: [PATCH] Fix report_times typo

---
 src/solver.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver.cc b/src/solver.cc
index 886280d58..c695fe5a1 100644
--- 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 "