Commit 545a6f5aa8a1fd105e6f82b7ee9e80a23c072e33

Ralf Wildenhues 2008-09-14T23:33:23

Abort the fstrcmp computation early when a lower bound has been given.