chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove -Wno-extra-semi, add workaround for mjSORT confusing some IDEs

Browse Source 
PiperOrigin-RevId: 808689636
Change-Id: Ia091fb597c171a33842e62690d06f32614fbe4eb
This commit is contained in:
Yuval Tassa
2025-09-18 12:26:58 -07:00
committed by Copybara-Service
parent 60cb976e82
commit 681f5767b2
9 changed files with 10 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/engine/engine_sensor.c
+1 -1
View File
@@ -56,7 +56,7 @@ static int ContactInfoCompare(const ContactInfo* a, const ContactInfo* b, void*
return 0;
}
mjPARTIAL_SORT(ContactSelect, ContactInfo, ContactInfoCompare)
mjPARTIAL_SORT(ContactSelect, ContactInfo, ContactInfoCompare);
// apply cutoff after each stage