Fix undoc

AMICI-dev · Jan 2, 2024 · aad1853 · aad1853
1 parent 046db24
commit aad1853
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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: