From 0747697d1080b4236fa6625e4728704600ca386a Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 28 Feb 2021 02:09:53 -0700 Subject: [PATCH] add lines read from devour_whitespace (#836) --- src/read.rs | 3 +++ 1 file changed, 3 insertions(+) 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 } -- 2.54.0