diff options
Diffstat (limited to 'header.patch')
-rw-r--r-- | header.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/header.patch b/header.patch new file mode 100644 index 000000000000..98c0445c9fc7 --- /dev/null +++ b/header.patch @@ -0,0 +1,12 @@ +diff --git a/ripser/ripser.cpp b/ripser/ripser.cpp +index f2b7531..2c225c5 100644 +--- a/ripser/ripser.cpp ++++ b/ripser/ripser.cpp +@@ -46,6 +46,7 @@ derivative works thereof, in binary and source code form. + #include <iomanip> + #include <iostream> + #include <iterator> ++#include <limits> + #include <numeric> + #include <queue> + #include <sstream> |