[Rock-dev] [rock] #91: rock-convert chokes on vector<int32_t>

[rock]

#91: rock-convert chokes on vector<int32_t>
----------------------+-----------------------------------
  Reporter:  jasc02   |      Owner:  rock-dev-mailing-list
      Type:  defect   |     Status:  closed
  Priority:  major    |  Component:  toolchain
Resolution:  wontfix  |   Keywords:  rock-convert
----------------------+-----------------------------------
Changes (by thro02):

 * status:  new => closed
 * resolution:   => wontfix


Comment:

 Error could not be reproduced by jasc02. Reopen ticket if needed.

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