From cd51a63f78bb61a0bb10089b7c8fb66c52408ed1 Mon Sep 17 00:00:00 2001 From: Kevaundray Wedderburn Date: Fri, 14 Jul 2023 20:46:55 +0100 Subject: [PATCH] fix bug --- acvm/src/pwg/directives/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/acvm/src/pwg/directives/mod.rs b/acvm/src/pwg/directives/mod.rs index e9b8fa8f4..0794daff7 100644 --- a/acvm/src/pwg/directives/mod.rs +++ b/acvm/src/pwg/directives/mod.rs @@ -58,7 +58,7 @@ fn solve_directives_internal( None => FieldElement::one(), }; - let (int_r, int_q) = if pred_value.is_zero() { + let (int_r, int_q) = if pred_value.is_zero() || int_b.is_zero() { (BigUint::zero(), BigUint::zero()) } else { (&int_a % &int_b, &int_a / &int_b)