From aad185303983d1237cd9beb485d5e8d0972e7bcb Mon Sep 17 00:00:00 2001
From: Daniel Weindl <daniel.weindl@helmholtz-munich.de>
Date: Tue, 2 Jan 2024 14:27:19 +0100
Subject: [PATCH] Fix undoc

---
 include/amici/misc.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/amici/misc.h b/include/amici/misc.h
index 81543b399d..879439bdf5 100644
--- a/include/amici/misc.h
+++ b/include/amici/misc.h
@@ -290,6 +290,10 @@ class CpuTimer {
         return d_milliseconds(clock::now() - start_).count();
     }
 
+    /**
+     * @brief Whether the timer uses a thread clock (i.e. provides proper,
+     * thread-specific CPU time).
+     */
     static bool const uses_thread_clock = true;
 
   private: