Remove margin name from geomdist sensors.

PiperOrigin-RevId: 811775910 Change-Id: I4d265d4ad0206ea2d92c6c4b659f509a17f12baa
2025-09-26 05:22:59 -07:00
parent 9a5acbd662
commit 8de86c9944
2 changed files with 5 additions and 5 deletions
@@ -485,6 +485,7 @@ mjtNum mj_geomDistance(const mjModel* m, const mjData* d, int geom1, int geom2,
    }
  }

+  // call collision function with distmax as margin
  int num = func(m, d, con, g1, g2, distmax);

  // find smallest distance