vecna
/
troll-patrol
mirror of https://git-crysp.uwaterloo.ca/vvecna/troll-patrol.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix PR verification

This commit is contained in:
Vecna 2024-03-29 15:25:42 -04:00
parent d933b3b94b
commit 4390716ebf
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/positive_report.rs
View File

@ -143,7 +143,7 @@ impl PositiveReport {
let buckets = &bridge_info.buckets; let buckets = &bridge_info.buckets;
let BP = self.lox_proof.BP; let BP = self.lox_proof.BP;
for bucket in buckets { for bucket in buckets {
if bucket * Htable != BP { if bucket * Htable == BP {
return la.handle_positive_report(self.lox_proof, &Htable).is_ok(); return la.handle_positive_report(self.lox_proof, &Htable).is_ok();
} }
} }