add lines read from devour_whitespace (#836)

diff --git a/src/read.rs b/src/read.rs
index 5d7d85c0e06ac42a102d703bd4a17001606c7579..78de8e30119e6cab97cd61a054ec74110863bb36 100644 (file)
--- a/src/read.rs
+++ b/src/read.rs
@@ -186,10 +186,13 @@ impl MachineState {
 
         parser.devour_whitespace()?;
 
+        inner.add_lines_read(parser.num_lines_read());
+
         let result = parser.eof();
         let buf = stream.take_buf();
 
         inner.pause_stream(buf)?;
+
         result
     }