1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13
14. 14
15. 15
16. 16
17. 17
18. 18
19. 19
20. 20
21. 21

diff --git a/.lake/packages/raylean/c/raylib_bindings.c b/.lake/packages/raylean/c/raylib_bindings.c
index 902a945..7539506 100644
--- a/.lake/packages/raylean/c/raylib_bindings.c
+++ b/.lake/packages/raylean/c/raylib_bindings.c
@@ -314,11 +314,11 @@ static inline Camera2D camera2D_of_arg(lean_obj_arg camera) {
   return (Camera2D){offset, target, rotation, zoom};
 }
 
-lean_obj_res getRandomValue(uint32_t min, uint32_t max)
-    __attribute__((optnone)) {
-  // BUG: This always seems to return `min`
-  return lean_io_result_mk_ok(lean_box_uint32(GetRandomValue(min, max)));
-}
+// lean_obj_res getRandomValue(uint32_t min, uint32_t max)
+//     __attribute__((optnone)) {
+//   // BUG: This always seems to return `min`
+//   return lean_io_result_mk_ok(lean_box_uint32(GetRandomValue(min, max)));
+// }
 
 lean_obj_res initWindow(lean_obj_arg width, lean_obj_arg height,
                         b_lean_obj_arg title) {