98 2004-04-21 13:05:00 +0200 Syntax error, when specifying two const process parameters in old format. 2005-02-18 11:07:01 +0100 1 1 1 Unclassified UPPAAL GUI 3.4.5 All All CLOSED FIXED http://www.cs.auc.dk/~ulrikl/uppaal/ProcessParameters.xml P2 minor --- 1 ulrik behrmann 253 ulrik 2004-04-21 13:05:59 +0200 When two const process parameters are defined in the old syntax "const i,j" only the first one is considered to be const. Thus the following assignments yields a syntax error in the second line. int[0,5] x := i; int[0,5] y := j; There is no syntax error is one writes: "const i; const j" The link point to a small example file. 257 behrmann 2004-04-27 11:21:07 +0200 A fix has been checked into CVS.