RoboGen crashes when using touch sensors with ode-0.13.1 #52
Description
After much digging into this it seems this is because ode gets closed before the space created by the touch sensor gets deleted.
Will need to improve the pointer management here so we can make sure to delete the sensor before closing ode.