diff options
Diffstat (limited to 'pkgs/development/compilers/mozart/patch-limits.diff')
| -rw-r--r-- | pkgs/development/compilers/mozart/patch-limits.diff | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/pkgs/development/compilers/mozart/patch-limits.diff b/pkgs/development/compilers/mozart/patch-limits.diff deleted file mode 100644 index 336f5b3dbbdd..000000000000 --- a/pkgs/development/compilers/mozart/patch-limits.diff +++ /dev/null @@ -1,10 +0,0 @@ ---- mozart2-2.0.1.orig/vm/vm/main/core-forward-decl.hh 2018-09-05 03:16:51.000000000 +0200 -+++ mozart2-2.0.1/vm/vm/main/core-forward-decl.hh 2021-08-03 10:31:50.281476430 +0200 -@@ -36,6 +36,7 @@ - #include <cstdint> - #include <ostream> - #include <functional> -+#include <limits> - #include <memory> - #include <cassert> - |