hm

succinctlabs · Aug 1, 2024 · 86926b3 · 86926b3
1 parent ed7a602
commit 86926b3
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, _)) => {
-                    builder.push(DslIr::SubEF(*self, *lhs, *rhs));
+                    let rhs = builder.eval(rhs.clone());
+                    builder.push(DslIr::SubEF(*self, *lhs, rhs));
                 }
                 (SymbolicExt::Val(lhs, _), rhs) => {
                     let rhs_value = Self::uninit(builder);