From bdfcb88e8b6203ccb46a2fb6649979b773efc8ac Mon Sep 17 00:00:00 2001 From: Smitty Date: Wed, 23 Jun 2021 16:26:46 -0400 Subject: Use HTTPS links where possible --- src/test/ui/nullable-pointer-iotareduction.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/test/ui/nullable-pointer-iotareduction.rs') 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 -- cgit 1.4.1-3-g733a5