Avoid non-portable use of $< outside an inference rule.
[mmh] / DATE
1 1 Jul 2003