Increase contact label length.

PiperOrigin-RevId: 572856066 Change-Id: I9d68481644b5a67720c055461607c95de8ec16ac
2023-10-12 04:08:23 -07:00
parent 5a70ad08ab
commit 3addd490a4
1 changed files with 1 additions and 1 deletions
@@ -147,7 +147,7 @@ static void addContactGeom(const mjModel* m, mjData* d, const mjtByte* flags,

      // label contacting geom names or ids
      if (vopt->label == mjLABEL_CONTACTPOINT) {
-        char contactlabel[2][10];
+        char contactlabel[2][220];
        for (int k=0; k<2; k++) {
          // make geom label
          if (con->geom[k]>=0) {