..

AMICI-dev · Jan 2, 2024 · b8b323b · b8b323b
1 parent aad1853
commit b8b323b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/include/amici/misc.h b/include/amici/misc.h
@@ -333,6 +333,10 @@ class CpuTimer {
                / CLOCKS_PER_SEC;
     }
 
+    /**
+     * @brief Whether the timer uses a thread clock (i.e. provides proper,
+     * thread-specific CPU time).
+     */
     static bool const uses_thread_clock = false;
 
   private: