Fix a gcc-related compilation error.

PiperOrigin-RevId: 792592986 Change-Id: I6bd49d3c739a58f9b611fe24594bd3f11e757c5b
2025-08-08 05:59:20 -07:00
parent 8b5213c557
commit 19781b60a1
1 changed files with 4 additions and 0 deletions
@@ -6876,6 +6876,8 @@ mjtDataType sensorDatatype(mjtSensor type) {
  case mjSENS_USER:
    return mjDATATYPE_REAL;
  }
+
+  return mjDATATYPE_REAL;  // all cases are covered but GCC is extra persnickety
 }

 // return sensor needstage
@@ -6936,6 +6938,8 @@ mjtStage sensorNeedstage(mjtSensor type) {
  case mjSENS_USER:
    return mjSTAGE_POS;
  }
+
+  return mjSTAGE_POS;  // all cases are covered but GCC is extra persnickety
 }

 // compiler