fix

succinctlabs · Aug 1, 2024 · 1fd0645 · 1fd0645
1 parent 86926b3
commit 1fd0645
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/recursion/compiler/src/ir/types.rs b/recursion/compiler/src/ir/types.rs
@@ -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 = builder.eval(rhs.clone());
+                    let rhs = builder.eval(rhs.clone().into());
                     builder.push(DslIr::SubEF(*self, *lhs, rhs));
                 }
                 (SymbolicExt::Val(lhs, _), rhs) => {