From 722edb750e4fb3a7b1f6a5888d1100249449110d Mon Sep 17 00:00:00 2001
From: Victor Dods <victor.dods@gmail.com>
Date: Tue, 15 Aug 2023 21:04:35 -0700
Subject: [PATCH] Fixed a bug where an error in a proof verification allowed a
 positive Check::Proof to be added to the verification results in addition to
 the expected error.  This fixes it to match the analogous logic in other
 proof verification code.

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

diff --git a/ssi-vc/src/lib.rs b/ssi-vc/src/lib.rs
index e4eb6e932..2f0c8c07a 100644
--- a/ssi-vc/src/lib.rs
+++ b/ssi-vc/src/lib.rs
@@ -1007,7 +1007,7 @@ impl Credential {
         for proof in proofs {
             let mut result = proof.verify(self, resolver, context_loader).await;
             results.append(&mut result);
-            if result.errors.is_empty() {
+            if results.errors.is_empty() {
                 results.checks.push(Check::Proof);
                 break;
             };