From f61818fbb5030c7738ba01511a5585112bb1ed7f Mon Sep 17 00:00:00 2001
From: wlemb <wlemb>
Date: Sat, 28 Jul 2001 05:15:59 +0000
Subject: * src/preproc/html/pushbackbuffer.cc (pushBackBuffer::readNumber):
 Simplified.

---
 ChangeLog                          |  5 +++++
 src/preproc/html/pushbackbuffer.cc | 17 ++++++-----------
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 2c828874..2c1677bc 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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;
 }
 
 /*
-- 
cgit v1.2.1