mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-11 20:03:28 +00:00
Code Issues Projects Releases Wiki Activity

Delete an unused local variable.

Browse Source 
library/io.m:
	As above.
This commit is contained in:
Julien Fischer
2014-09-01 23:52:07 +10:00
parent 3075dc975b
commit fd102a443d
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
library/io.m
View File

@@ -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';