Rename mjMAXTHREADS -> mjMAXTHREAD (consistency).

PiperOrigin-RevId: 599130235
Change-Id: Ia80379b8ae0574a7cd8fbc668657f806e90d6c5c
This commit is contained in:
Yuval Tassa
2024-01-17 04:33:00 -08:00
committed by Copybara-Service
parent 71b0561758
commit 67a00a3a51
8 changed files with 8 additions and 8 deletions
+1 -1
View File
@@ -58,7 +58,7 @@ public const bool THIRD_PARTY_MUJOCO_MJRENDER_H_ = true;
public const int mjNAUX = 10;
public const int mjMAXTEXTURE = 1000;
public const bool THIRD_PARTY_MUJOCO_INCLUDE_MJTHREAD_H_ = true;
public const int mjMAXTHREADS = 128;
public const int mjMAXTHREAD = 128;
public const bool THIRD_PARTY_MUJOCO_INCLUDE_MJTNUM_H_ = true;
public const bool mjUSEDOUBLE = true;
public const double mjMINVAL = 1e-15;