From 8a4259cc28cd25d48f751d8cd9418a23c8e82a5e Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Tue, 14 Sep 2021 14:26:04 -0700
Subject: [PATCH] addressed comments

---
 src/gates/comparison.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/gates/comparison.rs b/src/gates/comparison.rs
index d14b85cf..38c8dea4 100644
--- a/src/gates/comparison.rs
+++ b/src/gates/comparison.rs
@@ -206,6 +206,8 @@ impl<F: RichField + Extendable<D>, const D: usize> SimpleGenerator<F>
         let first_input_u64 = first_input.to_canonical_u64();
         let second_input_u64 = second_input.to_canonical_u64();
 
+        debug_assert!(first_input_u64 < second_input_u64);
+
         let first_input_bits: Vec<F> = (0..self.gate.num_bits)
             .scan(first_input_u64, |acc, _| {
                 let tmp = *acc % 2;