SSH-34: x/(0, 0) operator undefined: check if there is a term variable and improve error report
Submitted on 15 February 2005 at 13:08
Error report can say that x is not a strategy but a term.
Log in to post comments
Submitted on 15 February 2005 at 13:08
Error report can say that x is not a strategy but a term.
Log in to post comments