Fix tinyxml2 includes.

PiperOrigin-RevId: 775204246 Change-Id: Ia5c692eb29b2a670cb01e3efdeb85fd6e1474b99
2025-06-24 06:16:51 -07:00
parent 8d9556db7c
commit a0614fff1f
8 changed files with 7 additions and 13 deletions
@@ -24,10 +24,9 @@
 #include <vector>
 #include <sstream>

-#include "tinyxml2.h"
-
 #include <mujoco/mujoco.h>
 #include "user/user_util.h"
+#include "tinyxml2.h"

 // error string copy
 void mjCopyError(char* dst, const char* src, int maxlen);