Skip to content

Commit

Permalink
hm
Browse files Browse the repository at this point in the history
  • Loading branch information
jtguibas committed Aug 1, 2024
1 parent f8bee8f commit 2cb0be8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion recursion/compiler/src/ir/types.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1042,7 +1042,7 @@ impl<F: Field, EF: ExtensionField<F>> Ext<F, EF> {
builder.push(DslIr::SubE(*self, *lhs, *rhs));
}
(SymbolicExt::Val(lhs, _), SymbolicExt::Base(rhs, _)) => {
let rhs: Felt<_> = builder.eval(rhs.clone().into());
let rhs: Felt<_> = builder.eval(*rhs.clone());
builder.push(DslIr::SubEF(*self, *lhs, rhs));
}
(SymbolicExt::Val(lhs, _), rhs) => {
Expand Down

0 comments on commit 2cb0be8

Please sign in to comment.