From a8f737bf269042f6cd521b1e43a87166b295303a Mon Sep 17 00:00:00 2001
From: Kobi Gurkan <kobigurk@gmail.com>
Date: Wed, 27 Jan 2021 10:46:13 +0200
Subject: [PATCH] Fix boolean or comment (#44)

---
 src/bits/boolean.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bits/boolean.rs b/src/bits/boolean.rs
index 1672d88..8b56acf 100644
--- a/src/bits/boolean.rs
+++ b/src/bits/boolean.rs
@@ -435,7 +435,7 @@ impl<F: Field> Boolean<F> {
         match (self, other) {
             (&Constant(false), x) | (x, &Constant(false)) => Ok(x.clone()),
             (&Constant(true), _) | (_, &Constant(true)) => Ok(Constant(true)),
-            // a OR b = NOT ((NOT a) AND b)
+            // a OR b = NOT ((NOT a) AND (NOT b))
             (a @ &Is(_), b @ &Not(_)) | (b @ &Not(_), a @ &Is(_)) | (b @ &Not(_), a @ &Not(_)) => {
                 Ok(a.not().and(&b.not())?.not())
             }