From bfe33f5ffc94fbec0e9b95005c19019666838f82 Mon Sep 17 00:00:00 2001
From: Nicola Di Cicco <93935338+nicoladicicco@users.noreply.github.com>
Date: Tue, 23 Jul 2024 13:05:20 +0200
Subject: [PATCH] fix domain check not triggering

---
 src/solver.jl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/solver.jl b/src/solver.jl
index 65de885..1f929ab 100644
--- a/src/solver.jl
+++ b/src/solver.jl
@@ -412,8 +412,7 @@ function _step!(s)
     x = _select_worse(s)
     _verbose(s, "Selected x = $x")
 
-    # TODO: this if statement is currently not working, every variable is treated as integer 
-    if get_domain(s, x) isa ContinuousDomain
+    if typeof(get_variable(s, x).domain) <: ContinuousDomain
         # We perform coordinate descent over the variable axis
         best_values, best_swap, tabu = _coordinate_descent_move!(s, x)
     else