waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: builtin_force_reducer wasn't handling double forces correctly

This commit is contained in:
microproofs 2023-12-08 22:09:59 -05:00 committed by Kasey
parent 4015550f55
commit 51079b8590
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/uplc/src/optimize/shrinker.rs
View File

@ -553,7 +553,7 @@ impl Program<Name> {
); );
} }
} }
Term::Builtin(func) => { Term::Builtin(func) if func.force_count() == 1 => {
builtin_map.insert(*func as u8, ()); builtin_map.insert(*func as u8, ());
*term = Term::Var( *term = Term::Var(
Name { Name {