From 4390716ebf4f105ea7a6ec37645bb47fb39caf13 Mon Sep 17 00:00:00 2001
From: Vecna <vvecna@uwaterloo.ca>
Date: Fri, 29 Mar 2024 15:25:42 -0400
Subject: [PATCH] Fix PR verification

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

diff --git a/src/positive_report.rs b/src/positive_report.rs
index e28da2e..63302d9 100644
--- a/src/positive_report.rs
+++ b/src/positive_report.rs
@@ -143,7 +143,7 @@ impl PositiveReport {
         let buckets = &bridge_info.buckets;
         let BP = self.lox_proof.BP;
         for bucket in buckets {
-            if bucket * Htable != BP {
+            if bucket * Htable == BP {
                 return la.handle_positive_report(self.lox_proof, &Htable).is_ok();
             }
         }