Simplify mjs_addDefault.

PiperOrigin-RevId: 646534046 Change-Id: I658224e4800849231e68ed02d8fad07b8d796231
2024-06-25 10:50:55 -07:00
parent 5e39fc0564
commit 6be4e0697e
11 changed files with 32 additions and 32 deletions
@@ -1651,6 +1651,7 @@ class mjCDef : public mjsElement {

  // identifiers
  std::string name;               // class name
+  int id;                         // id of this default
  int parentid;                   // id of parent class
  std::vector<int> childid;       // ids of child classes