From debbd7c91616fc53844678bc6c2a06f66527aaac Mon Sep 17 00:00:00 2001
From: Haroon Qureshi <haroonq@google.com>
Date: Fri, 22 Aug 2025 05:46:52 -0700
Subject: [PATCH] Fix cast; should be mjtGeom not mjtMouse.

PiperOrigin-RevId: 798177495
Change-Id: I5d95446dd7f7f84052b60cb378acdd856c1e4d50
---
 src/engine/engine_vis_init.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/engine/engine_vis_init.c b/src/engine/engine_vis_init.c
index d3b29e43..41b3fa2e 100644
--- a/src/engine/engine_vis_init.c
+++ b/src/engine/engine_vis_init.c
@@ -463,7 +463,7 @@ float mjv_rbound(const mjvGeom* geom) {
 
   // compute rbound according to type
   const float* s = geom->size;
-  switch ((mjtMouse) geom->type) {
+  switch ((mjtGeom) geom->type) {
   case mjGEOM_SPHERE:
     return s[0];