[m-rev.] diff: fix version_array error checking

[Ralph Becket]

Simon Taylor, Monday, 28 May 2007:
> 
> Estimated hours taken: 0.5
> Branches: main
> 
> library/version_array.m:
> 	Fix a bug which caused negative indices to be allowed
> 	when updating a version_array.

Thanks for catching that one.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------