Re: [CZT-Devel] Object-Z parser v1.0

[Timothy M. <tim...@sv...>]

Petra Malik wrote:
> Just got an idea what the error could be ... each OptempPara needs Cat 
> and Prec set in order to be valid.
> Could you please make sure that you alsways call setCat(...) and 
> setPrec(...) before validating.
> 
Problem solved! I was only setting Prec for infix templates.  I now have 
Prec set as 0 for all the other templates.

Thanks,
Tim