From 797e41c3d8b300408db76497557b2d370ae9999d Mon Sep 17 00:00:00 2001 From: Felipe g Date: Fri, 16 Sep 2022 09:06:41 -0300 Subject: [PATCH] Fix file origin of rules --- src/language.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/language.rs b/src/language.rs index 0b53bf56..baf71c13 100644 --- a/src/language.rs +++ b/src/language.rs @@ -617,6 +617,7 @@ pub fn entry_set_origin_file(entry: &mut Entry, file: usize) { } pub fn rule_set_origin_file(rule: &mut Rule, file: usize) { + rule.orig = set_origin_file(rule.orig, file); for pat in &mut rule.pats { term_set_origin_file(pat, file); }