diff options
Diffstat (limited to 'math/ised/files/patch-src_vm.h')
| -rw-r--r-- | math/ised/files/patch-src_vm.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/math/ised/files/patch-src_vm.h b/math/ised/files/patch-src_vm.h new file mode 100644 index 000000000000..aba8fd1c0c69 --- /dev/null +++ b/math/ised/files/patch-src_vm.h @@ -0,0 +1,10 @@ +--- src/vm.h.orig 2022-09-03 19:42:45 UTC ++++ src/vm.h +@@ -25,6 +25,7 @@ + #include <vector> + #include <map> + #include <stack> ++#include <ctime> + + #ifdef HAVE_LIBREADLINE + # if defined(HAVE_READLINE_READLINE_H) |