[Rock-dev] [rock] #444: Rock-replay crashed if std::vector is resized and displayed

[rock]

#444: Rock-replay crashed if std::vector is resized and displayed
-----------------------+------------------
 Reporter:  jama01     |       Owner:
     Type:  defect     |      Status:  new
 Priority:  major      |   Milestone:
Component:  toolchain  |  Resolution:
 Keywords:             |
-----------------------+------------------

Comment (by sylvain.joyeux):

 Which flavor of rock ? In addition, can you check the current HEAD commit
 of tools/typelib ? Thanks

-- 
Ticket URL: <http://rock.opendfki.de/ticket/444#comment:2>
rock <http://rock.opendfki.de>
rock: the robot construction kit