chore: use division symbol

axiom-crypto · Dec 16, 2023 · 3def504 · 3def504
1 parent 79bd9b8
commit 3def504
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/halo2-base/src/gates/flex_gate/mod.rs b/halo2-base/src/gates/flex_gate/mod.rs
@@ -305,7 +305,7 @@ pub trait GateInstructions<F: ScalarField> {
 
     /// Constrains and returns a / b = out.
     ///
-    /// Defines a vertical gate of form | 0 | b^(-1) * a | b | a |, where b^(-1) * a = out.
+    /// Defines a vertical gate of form | 0 | a / b | b | a |, where a / b = out.
     ///
     /// Assumes `b != 0`.
     /// * `ctx`: [Context] to add the constraints to