SSH-18: Incorrect handling of Var(..) in term-zip-test
Submitted on 11 April 2004 at 20:21
stratego> !1
stratego> ?z
———– [(Var(“z”),1)]
stratego> !Var(“z”)
stratego> ?z
———– []
Issue Log
On 11 April 2004 at 20:31 Jira commented:
SSH-18, martin:
Solved by removing UfIdem from stratego-match in stratego-eval.
Log in to post comments