diff options
Diffstat (limited to 'rl-utils-numeric-include.patch')
| -rw-r--r-- | rl-utils-numeric-include.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/rl-utils-numeric-include.patch b/rl-utils-numeric-include.patch deleted file mode 100644 index 0489cd073e38..000000000000 --- a/rl-utils-numeric-include.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- rl_utils.cpp.old 2016-07-15 20:52:28.946108667 -0700 -+++ rl_utils.cpp 2016-07-15 20:54:15.415983666 -0700 -@@ -4,6 +4,7 @@ - #include <vector> - #include <cassert> - #include <sstream> -+#include <numeric> - - #include "mersenne_twister.hpp" - |