diff --git a/recursion/compiler/src/ir/types.rs b/recursion/compiler/src/ir/types.rs index 9b57cf7493..29a8836b50 100644 --- a/recursion/compiler/src/ir/types.rs +++ b/recursion/compiler/src/ir/types.rs @@ -1042,7 +1042,7 @@ impl> Ext { 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) => {