diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-17 18:27:08 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-17 18:27:08 +0000 |
commit | 0de5ea3df4ffff2d97202a66629e19e0579410ea (patch) | |
tree | 211b1d1d466c64aac746e9c377acf34adfb1c18b /src/interp/htsetvar.boot | |
parent | 1642c3f8ce94264813f4d7ac79f24f16f5fb7ded (diff) | |
download | open-axiom-0de5ea3df4ffff2d97202a66629e19e0579410ea.tar.gz |
cleanup
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) |