Yet another GCC-related fix. · 02ffaa8248 - Mujoco_WASM - Gitea: Git with a cup of tea

chenlin/Mujoco_WASM

Yet another GCC-related fix.

PiperOrigin-RevId: 661595661
Change-Id: Ib66a0d891533be50451adc850d7350532fc39d67

This commit is contained in:

Yuval Tassa

2024-08-10 05:31:29 -07:00

committed by

Copybara-Service

parent d72f01bad4

commit 02ffaa8248

1 changed files with 1 additions and 0 deletions

									
										src/user/user_objects.cc
									
		+1
		
												View File
												
					@@ -2144,6 +2144,7 @@ double mjCGeom::GetVolume() const {

					    default:

					    default:

					      return 0;

					      return 0;

					  }

					  }

					  return 0;

					}

					}