diff options
| author | Smitty <me@smitop.com> | 2021-06-23 16:26:46 -0400 |
|---|---|---|
| committer | Smitty <me@smitop.com> | 2021-06-23 16:26:46 -0400 |
| commit | bdfcb88e8b6203ccb46a2fb6649979b773efc8ac (patch) | |
| tree | 59b3e4cb3e6b0d9776b9d94cba7f8c5281f599dc /src/test/ui/nullable-pointer-iotareduction.rs | |
| parent | b8be3162d734f3583b240977615f3e1bae6b364a (diff) | |
| download | rust-bdfcb88e8b6203ccb46a2fb6649979b773efc8ac.tar.gz rust-bdfcb88e8b6203ccb46a2fb6649979b773efc8ac.zip | |
Use HTTPS links where possible
Diffstat (limited to 'src/test/ui/nullable-pointer-iotareduction.rs')
| -rw-r--r-- | src/test/ui/nullable-pointer-iotareduction.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/ui/nullable-pointer-iotareduction.rs b/src/test/ui/nullable-pointer-iotareduction.rs index 4c6964f294b..7f84450e621 100644 --- a/src/test/ui/nullable-pointer-iotareduction.rs +++ b/src/test/ui/nullable-pointer-iotareduction.rs @@ -4,7 +4,7 @@ // Iota-reduction is a rule in the Calculus of (Co-)Inductive Constructions, // which "says that a destructor applied to an object built from a constructor -// behaves as expected". -- http://coq.inria.fr/doc/Reference-Manual006.html +// behaves as expected". -- https://web.archive.org/web/20100531091244/http://coq.inria.fr/doc/Reference-Manual006.html // // It's a little more complicated here, because of pointers and regions and // trying to get assert failure messages that at least identify which case |