diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rwxr-xr-x | src/preproc/html/pushbackbuffer.cc | 17 |
2 files changed, 11 insertions, 11 deletions
@@ -1,3 +1,8 @@ +2001-07-28 Ralph Corderoy <ralph@inputplus.demon.co.uk> + + * src/preproc/html/pushbackbuffer.cc (pushBackBuffer::readNumber): + Simplified. + 2001-07-27 Werner LEMBERG <wl@gnu.org> * src/preproc/refer/refer.cc: Undo last change. diff --git a/src/preproc/html/pushbackbuffer.cc b/src/preproc/html/pushbackbuffer.cc index 4bea4516..71f6fcd2 100755 --- a/src/preproc/html/pushbackbuffer.cc +++ b/src/preproc/html/pushbackbuffer.cc @@ -292,20 +292,15 @@ static float convertToFloat (int a, int b) float pushBackBuffer::readNumber (void) { - int integer; - int fraction; + int i; char ch; - float f; - integer = readInt(); - if (putPB(getPB()) == '.') { - ch = getPB(); - fraction = readInt(); - f = convertToFloat(integer, fraction); - return( f ); - } else { - return( (float)integer ); + i = readInt(); + if ((ch = getPB()) == '.') { + return convertToFloat(i, readInt()); } + putPB(ch); + return (float)i; } /* |