summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authormcarrier <mcarrier@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2018-01-11 11:04:38 +0000
committermcarrier <mcarrier@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2018-01-11 11:04:38 +0000
commit1c6a680aee1ff1193ea546cfaeb63b18d38b97fa (patch)
tree1681ae7ca9c55aedf8881fce9833c2da22fc88b0 /src
parent73392dcec4e9977ca862eaf1cf9beaa6f9a133f7 (diff)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/kernels@3125 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: 4064ad30936118d97d16f84a5288e349f86109b6
Diffstat (limited to 'src')
-rw-r--r--src/Kernels/include/gudhi/kernel.h4
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>