diff options
Diffstat (limited to 'byterun/ints.c')
| -rw-r--r-- | byterun/ints.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/byterun/ints.c b/byterun/ints.c index c05d14b4c..0a1690811 100644 --- a/byterun/ints.c +++ b/byterun/ints.c @@ -18,7 +18,6 @@ #include "memory.h" #include "misc.h" #include "mlvalues.h" -#include "str.h" value int_of_string(value s) /* ML */ { |