mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-01-03 06:13:07 +00:00
Avoid duplicate macros
This commit is contained in:
parent
f053932791
commit
a68d8ff586
@ -67,7 +67,8 @@ fn find_macros(files: &[File]) -> HashMap<String, Macro> {
|
||||
params: params.clone(),
|
||||
items: items.clone(),
|
||||
};
|
||||
macros.insert(name.clone(), _macro);
|
||||
let old = macros.insert(name.clone(), _macro);
|
||||
assert!(old.is_none(), "Duplicate macro: {name}");
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user