From 544f3653b9e17e07f40e0bb227fb3092fc53eb24 Mon Sep 17 00:00:00 2001 From: Rishabh Ranjan Singh Date: Wed, 11 Feb 2026 23:14:54 +0530 Subject: [PATCH] Refactor: Remove deprecated/missing header includes from bindings.h --- dingo/bindings/bindings.h | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/dingo/bindings/bindings.h b/dingo/bindings/bindings.h index 91d323e..4b0e5cf 100644 --- a/dingo/bindings/bindings.h +++ b/dingo/bindings/bindings.h @@ -19,10 +19,11 @@ #include #include #include "random_walks.hpp" -#include "random.hpp" -#include "random/uniform_int.hpp" -#include "random/normal_distribution.hpp" -#include "random/uniform_real_distribution.hpp" +// #include "random.hpp" // Not available in current volesti version +#include "generators/boost_random_number_generator.hpp" +// #include "random/uniform_int.hpp" // Not available in current volesti version +// #include "random/normal_distribution.hpp" // Not available in current volesti version +// #include "random/uniform_real_distribution.hpp" // Not available in current volesti version #include "volume/volume_sequence_of_balls.hpp" #include "volume/volume_cooling_gaussians.hpp" #include "volume/volume_cooling_balls.hpp"