From: Peter Maydell <pmaydell@chiark.greenend.org.uk>
Date: Sat, 24 Dec 2005 17:53:26 +0000 (+0000)
Subject: Avoid non-portable use of $< outside an inference rule.
X-Git-Url: https://diplodocus.org/git/nmh/commitdiff_plain/582d618b69077087961c367bd1631495906c92a8?hp=582d618b69077087961c367bd1631495906c92a8

Avoid non-portable use of $< outside an inference rule.
---