chore: add comment about range constraints in quotient_directive

noir-lang · Jul 10, 2023 · 4db75d9 · 4db75d9
1 parent 4b286c8
commit 4db75d9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/generated_acir.rs b/crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/generated_acir.rs
@@ -665,6 +665,8 @@ impl GeneratedAcir {
     }
 
     /// Adds a directive which injects witnesses with values `q = a / b` and `r = a % b`.
+    ///
+    /// Suitable range constraints are also applied to `q` and `r`.
     pub(crate) fn quotient_directive(
         &mut self,
         a: Expression,