Fix parsing error message (#201)

egraphs-good · Aug 22, 2023 · bb38d35 · bb38d35
1 parent cefd8bc
commit bb38d35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.rs b/src/main.rs
@@ -127,7 +127,7 @@ fn main() {
                             .map_location(|byte_offset| {
                                 let byte_offset = byte_offset - program_offset;
                                 let (line_num, sum_offset) = std::iter::once(0)
-                                    .chain(program.split_inclusive('\n').scan(
+                                    .chain(program[program_offset..].split_inclusive('\n').scan(
                                         0,
                                         |sum_offset, l| {
                                             *sum_offset += l.len();