(update_interval): Properly update `position' field of used intervals.
authorRichard M. Stallman <rms@gnu.org>
Mon, 2 Mar 1998 02:41:28 +0000 (02:41 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 2 Mar 1998 02:41:28 +0000 (02:41 +0000)
commit75167cd4e42834950627cc026fff7b58fafa08ef
treea5c6f5092f0b66422944384950179859d3dbbf06
parentd80f4cc71caa321a933fdcda298425c914cdeb41
(update_interval): Properly update `position' field of used intervals.
src/intervals.c