diff options
Diffstat (limited to 'otherlibs/unix/times.c')
| -rw-r--r-- | otherlibs/unix/times.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/otherlibs/unix/times.c b/otherlibs/unix/times.c index 7b5e73aa6..4f9cc074b 100644 --- a/otherlibs/unix/times.c +++ b/otherlibs/unix/times.c @@ -31,7 +31,6 @@ value unix_times_bytecode() /* ML */ { value res; struct tms buffer; - int i; value u = Val_unit, s = Val_unit, cu = Val_unit, cs = Val_unit; Begin_roots4 (u, s, cu, cs); |