donb
committed
on 04 Dec 08
Missed one place where extends implies requires.