Fixed broken link (Res-nonnegative) (#1641)

This commit is contained in:
Manlio Morini 2020-06-22 19:49:20 +02:00 committed by GitHub
parent 8b94f6ee58
commit 2477f275dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1604,7 +1604,7 @@ Once language support becomes available (e.g., see the [contract proposal](http:
##### Note
No, using `unsigned` is not a good way to sidestep the problem of [ensuring that a value is non-negative](#Res-non-negative).
No, using `unsigned` is not a good way to sidestep the problem of [ensuring that a value is non-negative](#Res-nonnegative).
##### Enforcement