From ea2adb4f7fdb25f1e2466063c517395e3cedf959 Mon Sep 17 00:00:00 2001
From: Georgios Konstantopoulos <me@gakonst.com>
Date: Wed, 6 May 2020 17:20:02 +0300
Subject: [PATCH] fix(fp-cmp): use enforce unchecked in enforce unchecked
 function

---
 r1cs-std/src/fields/fp/cmp.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/r1cs-std/src/fields/fp/cmp.rs b/r1cs-std/src/fields/fp/cmp.rs
index 1414aea..124b8ba 100644
--- a/r1cs-std/src/fields/fp/cmp.rs
+++ b/r1cs-std/src/fields/fp/cmp.rs
@@ -27,7 +27,7 @@ impl<F: PrimeField> FpGadget<F> {
             ordering,
             should_also_check_equality,
         )?;
-        Self::enforce_smaller_than_unchecked(cs.ns(|| "enforce smaller than"), &left, &right)
+        Self::enforce_smaller_than(cs.ns(|| "enforce smaller than"), &left, &right)
     }
 
     /// This function enforces the ordering between `self` and `b`. The
@@ -49,7 +49,7 @@ impl<F: PrimeField> FpGadget<F> {
             ordering,
             should_also_check_equality,
         )?;
-        Self::enforce_smaller_than(cs.ns(|| "enforce smaller than"), &left, &right)
+        Self::enforce_smaller_than_unchecked(cs.ns(|| "enforce smaller than"), &left, &right)
     }
 
     /// This function checks the ordering between `self` and `b`. It outputs a