From 02ffaa8248726208a9ee65a17a5c93469ef4e272 Mon Sep 17 00:00:00 2001 From: Yuval Tassa Date: Sat, 10 Aug 2024 05:31:29 -0700 Subject: [PATCH] Yet another GCC-related fix. PiperOrigin-RevId: 661595661 Change-Id: Ib66a0d891533be50451adc850d7350532fc39d67 --- src/user/user_objects.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/src/user/user_objects.cc b/src/user/user_objects.cc index 88afaabe..875dc6b0 100644 --- a/src/user/user_objects.cc +++ b/src/user/user_objects.cc @@ -2144,6 +2144,7 @@ double mjCGeom::GetVolume() const { default: return 0; } + return 0; }