diff options
Diffstat (limited to 'src/interp/htsetvar.boot')
| -rw-r--r-- | src/interp/htsetvar.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/htsetvar.boot b/src/interp/htsetvar.boot index 796760e5..4eaf1d46 100644 --- a/src/interp/htsetvar.boot +++ b/src/interp/htsetvar.boot @@ -76,8 +76,8 @@ htShowCount s == --# discounting {\em .. } i := 0 count := 0 while i < m - 7 repeat - s.i = char '_{ and s.(i+1) = char '_\ and s.(i+2) = char 'e - and s.(i+3) = char 'm => i := i + 6 --discount {\em } + s.i = char "{" and s.(i+1) = char "\" and s.(i+2) = char "e" + and s.(i+3) = char "m" => i := i + 6 --discount {\em } i := i + 1 count := count + 1 count + (m - i) |