diff --git a/library/io.m b/library/io.m index 74b8114a9..0fde26c4f 100644 --- a/library/io.m +++ b/library/io.m @@ -4229,8 +4229,6 @@ io.resize_buffer(_OldSize, NewSize, buffer(Array0), buffer(Array)) :- [will_not_call_mercury, promise_pure, tabled_for_io, thread_safe, does_not_affect_liveness], "{ - int i; - Str = Buffer; Str[Len] = '\\0';