Skip to content

Commit 807eedc

Browse files
Fix bug
1 parent 9980a92 commit 807eedc

File tree

1 file changed

+11
-12
lines changed

1 file changed

+11
-12
lines changed

extensions/algebra/circuit/src/modular_extension.rs

Lines changed: 11 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -231,19 +231,18 @@ impl<F: PrimeField32> VmExtension<F> for ModularExtension {
231231
} else {
232232
panic!("Modulus too large");
233233
}
234-
235-
let non_qr_hint_sub_ex = phantom::NonQrHintSubEx::new(self.supported_moduli.clone());
236-
builder.add_phantom_sub_executor(
237-
non_qr_hint_sub_ex.clone(),
238-
PhantomDiscriminant(ModularPhantom::HintNonQr as u16),
239-
)?;
240-
241-
let sqrt_hint_sub_ex = phantom::SqrtHintSubEx::new(non_qr_hint_sub_ex);
242-
builder.add_phantom_sub_executor(
243-
sqrt_hint_sub_ex,
244-
PhantomDiscriminant(ModularPhantom::HintSqrt as u16),
245-
)?;
246234
}
235+
let non_qr_hint_sub_ex = phantom::NonQrHintSubEx::new(self.supported_moduli.clone());
236+
builder.add_phantom_sub_executor(
237+
non_qr_hint_sub_ex.clone(),
238+
PhantomDiscriminant(ModularPhantom::HintNonQr as u16),
239+
)?;
240+
241+
let sqrt_hint_sub_ex = phantom::SqrtHintSubEx::new(non_qr_hint_sub_ex);
242+
builder.add_phantom_sub_executor(
243+
sqrt_hint_sub_ex,
244+
PhantomDiscriminant(ModularPhantom::HintSqrt as u16),
245+
)?;
247246

248247
Ok(inventory)
249248
}

0 commit comments

Comments
 (0)