From 1d1dfc6b2be76785794334fc865dcb80d3a4e283 Mon Sep 17 00:00:00 2001
From: rudy <rudy.sicard@gmail.com>
Date: Thu, 13 Oct 2022 16:41:28 +0200
Subject: [PATCH] fix: display crypto-params global probability when it's not
 available

---
 compiler/lib/Support/V0Parameters.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/lib/Support/V0Parameters.cpp b/compiler/lib/Support/V0Parameters.cpp
index 5e6cfcd02..2da7de4d4 100644
--- a/compiler/lib/Support/V0Parameters.cpp
+++ b/compiler/lib/Support/V0Parameters.cpp
@@ -120,7 +120,7 @@ static void display(optimizer::Description &descr,
       << "--- Correctness for each Pbs call\n"
       << "  1/" << int(1.0 / sol.p_error) << " errors (" << sol.p_error
       << ")\n";
-  if (descr.dag) {
+  if (descr.dag && !std::isnan(sol.global_p_error)) {
     o() << "--- Correctness for the full circuit\n"
         << "  1/" << int(1.0 / sol.global_p_error) << " errors ("
         << sol.global_p_error << ")\n";