From a645ab5d80ba890cda0d9daada78fe10e82e2034 Mon Sep 17 00:00:00 2001
From: SimonRohou <simon.rohou@gmail.com>
Date: Wed, 28 Jun 2023 14:33:58 +0200
Subject: [PATCH] [paving] corrected bug in SIVIA paving

---
 src/core/paving/codac_SIVIAPaving.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/paving/codac_SIVIAPaving.cpp b/src/core/paving/codac_SIVIAPaving.cpp
index c21af1fa1..bbbe99dd6 100644
--- a/src/core/paving/codac_SIVIAPaving.cpp
+++ b/src/core/paving/codac_SIVIAPaving.cpp
@@ -47,7 +47,7 @@ namespace codac
     }
   }
 
-  void SIVIAPaving::compute(Ctc &ctc, float precision)
+  void SIVIAPaving::compute(Ctc& ctc, float precision)
   {
     assert(precision > 0.);
     assert(ctc.nb_var == box().size());
@@ -58,7 +58,7 @@ namespace codac
     if(result.is_empty())
       set_value(SetValue::OUT);
 
-    else if(result.max_diam() < precision)
+    else if(box().max_diam() < precision)
       set_value(SetValue::UNKNOWN);
 
     else