Typesetting fix.
authormdw <mdw>
Sat, 17 Jun 2000 11:52:48 +0000 (11:52 +0000)
committermdw <mdw>
Sat, 17 Jun 2000 11:52:48 +0000 (11:52 +0000)
commit7fafb63685002cddd72f51b4807d6cdd1a0fc16b
treea9fde93066292c5c629ceb6968af07b727b0d3ad
parent8b021c3f89a78c3006ffc5d480feca6ef86d544e
Typesetting fix.
rabin.h