From 262fac3e839eea82cd146b90432c833aa8fe1e35 Mon Sep 17 00:00:00 2001
From: Pratyush Mishra <pratyushmishra@berkeley.edu>
Date: Fri, 8 Jan 2021 21:02:30 -0800
Subject: [PATCH] Loosen restrictions

---
 src/fields/mod.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/fields/mod.rs b/src/fields/mod.rs
index 9e95002..d51194e 100644
--- a/src/fields/mod.rs
+++ b/src/fields/mod.rs
@@ -160,8 +160,8 @@ pub trait FieldVar<F: Field, ConstraintF: Field>:
     /// It is up to the caller to ensure that denominator is non-zero,
     /// since in that case the result is unconstrained.
     fn mul_by_inverse(&self, denominator: &Self) -> Result<Self, SynthesisError> {
-        if self.is_constant() && denominator.is_constant() {
-            Ok(self.clone() * denominator.value()?.inverse().unwrap())
+        if denominator.is_constant() {
+            Ok(denominator.inverse()? * self)
         } else {
             let result = Self::new_witness(self.cs(), || {
                 let denominator_inv_native = denominator.value()?.inverse().get()?;