From 266df563f178389f33a283ed40c23c5bce5e27d8 Mon Sep 17 00:00:00 2001
From: Riccardo De Benedictis <riccardo.debenedictis@cnr.it>
Date: Mon, 15 Apr 2024 10:53:37 +0200
Subject: [PATCH] Update visualization support in resolver.cpp

---
 src/resolver.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/resolver.cpp b/src/resolver.cpp
index 35fa70e..bd2db17 100644
--- a/src/resolver.cpp
+++ b/src/resolver.cpp
@@ -37,6 +37,7 @@ namespace ratio
 #endif
     }
 
+#ifdef ENABLE_VISUALIZATION
     json::json to_json(const resolver &r) noexcept
     {
         json::json j_r{{"id", get_id(r)}, {"flaw", get_id(r.get_flaw())}, {"rho", to_string(r.get_rho())}, {"intrinsic_cost", to_json(r.get_intrinsic_cost())}, {"data", r.get_data()}};
@@ -58,4 +59,5 @@ namespace ratio
         j_r["preconditions"] = std::move(preconditions);
         return j_r;
     }
+#endif
 } // namespace ratio