Reduce contact label length.

PiperOrigin-RevId: 572868387
Change-Id: Icedec0792516b05d083068b9a3dad7e47e4ccc41
This commit is contained in:
Alessio Quaglino
2023-10-12 05:09:05 -07:00
committed by Copybara-Service
parent 3addd490a4
commit 386b65086b
+1 -1
View File
@@ -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][220];
char contactlabel[2][48];
for (int k=0; k<2; k++) {
// make geom label
if (con->geom[k]>=0) {