From 386b65086be474eb934078f50bdf223300ecdb11 Mon Sep 17 00:00:00 2001
From: Alessio Quaglino <quaglino@google.com>
Date: Thu, 12 Oct 2023 05:09:05 -0700
Subject: [PATCH] Reduce contact label length.

PiperOrigin-RevId: 572868387
Change-Id: Icedec0792516b05d083068b9a3dad7e47e4ccc41
---
 src/engine/engine_vis_visualize.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/engine/engine_vis_visualize.c b/src/engine/engine_vis_visualize.c
index a8cf235e..37325336 100644
--- a/src/engine/engine_vis_visualize.c
+++ b/src/engine/engine_vis_visualize.c
@@ -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) {