Rename mjmDefault -> mjsDefault

PiperOrigin-RevId: 619180662 Change-Id: Id7cedf82fbb022f08accc7c9a547495ed8eecba0
2024-03-26 07:18:57 -07:00
parent fa8893b443
commit 4d2aa46e56
5 changed files with 53 additions and 53 deletions
@@ -1622,7 +1622,7 @@ class mjCDef {
  int parentid;                   // id of parent class
  std::vector<int> childid;       // ids of child classes

-  mjmDefault spec;
+  mjsDefault spec;

  // default objects (TODO: they should become private)
  mjCJoint    joint;