Avoid non-portable use of $< outside an inference rule.
authorPeter Maydell <pmaydell@chiark.greenend.org.uk>
Sat, 24 Dec 2005 17:53:26 +0000 (17:53 +0000)
committerPeter Maydell <pmaydell@chiark.greenend.org.uk>
Sat, 24 Dec 2005 17:53:26 +0000 (17:53 +0000)

No differences found