From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 28 Feb 2021 09:09:53 +0000 (-0700)
Subject: add lines read from devour_whitespace (#836)
X-Git-Tag: v0.9.0~150^2~11
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0747697d1080b4236fa6625e4728704600ca386a;p=scryer-prolog.git

add lines read from devour_whitespace (#836)
---

diff --git a/src/read.rs b/src/read.rs
index 5d7d85c0..78de8e30 100644
--- 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
     }