diff options
Diffstat (limited to 'math/cryptominisat/files/patch-src_dimacsparser.h')
| -rw-r--r-- | math/cryptominisat/files/patch-src_dimacsparser.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/math/cryptominisat/files/patch-src_dimacsparser.h b/math/cryptominisat/files/patch-src_dimacsparser.h deleted file mode 100644 index cde87f7a8b13..000000000000 --- a/math/cryptominisat/files/patch-src_dimacsparser.h +++ /dev/null @@ -1,10 +0,0 @@ ---- src/dimacsparser.h.orig 2016-01-05 09:44:15 UTC -+++ src/dimacsparser.h -@@ -25,6 +25,7 @@ THE SOFTWARE. - #define DIMACSPARSER_H - - #include <string> -+#include <cstdlib> - #include "streambuffer.h" - #include "cryptominisat4/cryptominisat.h" - |