From df7bc3fbed284712c9b4993b14665d1a804937a3 Mon Sep 17 00:00:00 2001
From: Vasiliy Olekhov <vasiliy.olekhov@nil.foundation>
Date: Thu, 30 Nov 2023 19:16:13 +0300
Subject: [PATCH] Reworked to single event with boolean paramter #45

---
 .../blueprint/transpiler/templates/modular_verifier.hpp    | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/include/nil/blueprint/transpiler/templates/modular_verifier.hpp b/include/nil/blueprint/transpiler/templates/modular_verifier.hpp
index b75cc6f59f..10972b605d 100644
--- a/include/nil/blueprint/transpiler/templates/modular_verifier.hpp
+++ b/include/nil/blueprint/transpiler/templates/modular_verifier.hpp
@@ -260,13 +260,10 @@ contract modular_verifier_$TEST_NAME$ is IModularVerifier{
                 emit ConstraintSystemNotSatisfied();
                 state.b = false;
             }
-            if(state.b) {
-                emit ProofVerified();
-            } else {
-                emit ProofVerificationFailed();
-            }
         }
 
+        emit VerificationResult(state.b);
+
         result = state.b;
     }
 }