Whitespace.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/preproc/html/pushback.cpp b/src/preproc/html/pushback.cpp
index 562669e7..8db30873 100644
--- a/src/preproc/html/pushback.cpp
+++ b/src/preproc/html/pushback.cpp
@@ -71,7 +71,7 @@ pushBackBuffer::pushBackBuffer (char *filename)
   lineNo   = 1;
   if (strcmp(filename, "") != 0) {
     stdIn = dup(0);
-    if (stdIn<0) {
+    if (stdIn < 0) {
       sys_fatal("dup stdin");
     }
     close(0);
@@ -90,7 +90,7 @@ pushBackBuffer::~pushBackBuffer ()
   }
   close(0);
   /* restore stdin in file descriptor 0 */
-  if (dup(stdIn)<0) {
+  if (dup(stdIn) < 0) {
     sys_fatal("restore stdin");
   }
   close(stdIn);