fix ref
authorRalf Jung <post@ralfj.de>
Sat, 12 Aug 2017 02:28:47 +0000 (19:28 -0700)
committerRalf Jung <post@ralfj.de>
Sat, 12 Aug 2017 02:28:47 +0000 (19:28 -0700)
personal/_posts/2017-08-11-types-as-contracts-evaluation.md

index 21721c41968449bfaf96e9a947999cb0279f34a3..edb2a45be04673d60662cebfa78821aa69268e5b 100644 (file)
@@ -260,7 +260,7 @@ Interestingly, the [discussion](https://internals.rust-lang.org/t/types-as-contr
 After all, we want miri to also detect UB related to e.g. illegal pointer arithmetic.
 These issues are far from settled, and I do have some interesting ideas here that I want so share with you.
 
 After all, we want miri to also detect UB related to e.g. illegal pointer arithmetic.
 These issues are far from settled, and I do have some interesting ideas here that I want so share with you.
 
-Finally, there is of course the discussion around how to handle raw pointers; I already talked in [§3](#22-unsafe-code) about some of the options that could be explored here.
+Finally, there is of course the discussion around how to handle raw pointers; I already talked in [§2.2](#22-unsafe-code) about some of the options that could be explored here.
 
 Unfortunately, today is the last day of my internship, so I will no longer be able to work on all of this full-time like I did the last three months.
 Still, I certainly intend to stay involved. This problem is way too interesting to just let it go :)
 
 Unfortunately, today is the last day of my internship, so I will no longer be able to work on all of this full-time like I did the last three months.
 Still, I certainly intend to stay involved. This problem is way too interesting to just let it go :)