diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index c7c068b0..8211fd04 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -706,7 +706,7 @@ dropPrefix(fn) == --++ $globalExposureGroupAlist := nil --++ egName := nil --++ egFiles := nil ---++ while (not PLACEP (x:= readLine stream)) repeat +--++ while (x:= readLine stream) ~= %nothing repeat --++ x := DROPTRAILINGBLANKS x --++ # x = 0 => 'iterate -- blank line --++ (x.0 = char "#") or (x.0 = char "*") => 'iterate -- comment |