chore: update src/runtime/libuv.cpp

Co-authored-by: Markus Himmel <[email protected]>
leanprover · Dec 3, 2024 · ecd2314 · ecd2314
1 parent 7b60b9d
commit ecd2314
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/runtime/libuv.cpp b/src/runtime/libuv.cpp
@@ -181,7 +181,7 @@ extern "C" LEAN_EXPORT lean_obj_res lean_uv_timer_next(b_obj_arg timer, obj_arg
     }
 }
 
-/* Std.Internal.UV.Timer.reset (timer : Timer) : IO Unit */
+/* Std.Internal.UV.Timer.reset (timer : @& Timer) : IO Unit */
 extern "C" LEAN_EXPORT lean_obj_res lean_uv_timer_reset(b_obj_arg timer, obj_arg /* w */ ) {
     lean_uv_timer_object* obj = lean_to_uv_timer(timer);