diff options
| -rw-r--r-- | src/Kernels/include/gudhi/kernel.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Kernels/include/gudhi/kernel.h b/src/Kernels/include/gudhi/kernel.h index 44d984bd..30864476 100644 --- a/src/Kernels/include/gudhi/kernel.h +++ b/src/Kernels/include/gudhi/kernel.h @@ -43,8 +43,8 @@ #include <memory> #include <stdexcept> #include <omp.h> -#include <gmp.h> -#include <gmpxx.h> +//#include <gmp.h> +//#include <gmpxx.h> #include <random> #include <chrono> #include <ctime> |