mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-19 04:37:28 +03:00
Merge pull request #366 from felipegchi/rule-orig
Fix file origin of rules
This commit is contained in:
commit
d8eced2fc4
@ -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);
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user