From 3addd490a455a8d1a500ae24d81b544baf6d4dea Mon Sep 17 00:00:00 2001
From: Alessio Quaglino <quaglino@google.com>
Date: Thu, 12 Oct 2023 04:08:23 -0700
Subject: [PATCH] Increase contact label length.

PiperOrigin-RevId: 572856066
Change-Id: I9d68481644b5a67720c055461607c95de8ec16ac
---
 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 979b7dc8..a8cf235e 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][10];
+        char contactlabel[2][220];
         for (int k=0; k<2; k++) {
           // make geom label
           if (con->geom[k]>=0) {