diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-11-22 23:37:18 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-11-22 23:37:18 +0100 |
commit | 4a34c0b7b8be8b8e275b13823da31127bbd5f3b2 (patch) | |
tree | c29da51473d20f6e39e04dd713c5c29a0e5174a3 /src/Subsampling/include/gudhi/pick_n_random_points.h | |
parent | 0a071114ad08d2ce149f8b484dd8ff1b96b61fb1 (diff) |
Handle squared radius
Make it work without a breaking change, we can always make a change
later in a separate PR.
Diffstat (limited to 'src/Subsampling/include/gudhi/pick_n_random_points.h')
-rw-r--r-- | src/Subsampling/include/gudhi/pick_n_random_points.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Subsampling/include/gudhi/pick_n_random_points.h b/src/Subsampling/include/gudhi/pick_n_random_points.h index c2c71f83..e4246c29 100644 --- a/src/Subsampling/include/gudhi/pick_n_random_points.h +++ b/src/Subsampling/include/gudhi/pick_n_random_points.h @@ -11,7 +11,9 @@ #ifndef PICK_N_RANDOM_POINTS_H_ #define PICK_N_RANDOM_POINTS_H_ -#include <gudhi/Clock.h> +#ifdef GUDHI_SUBSAMPLING_PROFILING +# include <gudhi/Clock.h> +#endif #include <boost/range/size.hpp> |