[/] [trunk/] - Rev 36

Last modification (Rev 36, 2008-04-07 06:33:01 GMT)

Author:
tbourke
Log message:
Unexpanded types in selection bindings were causing exceptions.
Path
/trunk/src/maketest/actiontrans.sml
/trunk/src/parse/uppaalparse.sml