Update utilities.rs

zkonduit · Oct 5, 2023 · dd81e11 · dd81e11
1 parent 87a03b0
commit dd81e11
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/graph/utilities.rs b/src/graph/utilities.rs
@@ -727,7 +727,8 @@ pub fn new_op_from_onnx(
                     inputs[const_idx].decrement_const();
                     deleted_indices.push(const_idx);
                     op = SupportedOp::Nonlinear(LookupOp::Div {
-                        denom: crate::circuit::utils::F32(c.raw_values[0]),
+                        // we invert the constant for division
+                        denom: crate::circuit::utils::F32(1. / c.raw_values[0]),
                     })
                 }
             }