diff options
Diffstat (limited to 'ports/rapidcheck/fix-addiosfwd.patch')
| -rw-r--r-- | ports/rapidcheck/fix-addiosfwd.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/ports/rapidcheck/fix-addiosfwd.patch b/ports/rapidcheck/fix-addiosfwd.patch deleted file mode 100644 index 016f859c2..000000000 --- a/ports/rapidcheck/fix-addiosfwd.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --git a/include/rapidcheck/Random.h b/include/rapidcheck/Random.h
-index e510673..4b01f58 100644
---- a/include/rapidcheck/Random.h
-+++ b/include/rapidcheck/Random.h
-@@ -3,6 +3,7 @@
- #include <cstdint>
- #include <array>
- #include <limits>
-+#include <iosfwd>
-
- namespace rc {
-
|