Cosmetic improvements to src/user/ source files.

PiperOrigin-RevId: 737930914 Change-Id: I1cc254d420fcdf0c42ec3d2f601e5a02d925d958
2025-03-18 02:58:23 -07:00
parent bae5175cf2
commit 205599ac1a
10 changed files with 1580 additions and 1553 deletions
@@ -204,7 +204,7 @@ void mju_closeResource(mjResource* resource) {
  if (provider) {
    if (provider->close) provider->close(resource);
  } else {
-     FileClose(resource);  // clear OS filesystem if present
+    FileClose(resource);  // clear OS filesystem if present
  }

  // free resource