id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4	ugly output in verbose mode	Stephen Siegel	ywei	"In verbose mode, there is still extra junk printed when the models are printed:

begin model P1
| begin input variables
| | N : int;
line 1 column 0 through line 1 column 27:
input int N {N >= 0 && N<4};
| | a : real[N];
line 2 column 0 through line 2 column 15:
input real[N] a;
| end input variables;
| begin output variables
| | s : real;
line 3 column 0 through line 3 column 13:
output real s;
| end output variables;
"	defect	closed	minor		front	1.0	fixed