finally

succinctlabs · Aug 1, 2024 · 6ed0bb5 · 6ed0bb5
1 parent 292f713
commit 6ed0bb5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/recursion/compiler/src/ir/types.rs b/recursion/compiler/src/ir/types.rs
@@ -1042,7 +1042,8 @@ 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().clone());
+                    let sym: SymbolicFelt<_> = rhs.as_ref().clone();
+                    let rhs: Felt<_> = builder.eval(sym);
                     builder.push(DslIr::SubEF(*self, *lhs, rhs));
                 }
                 (SymbolicExt::Val(lhs, _), rhs) => {