add empty robots.txt (for fewer 404s)

[web.git] / ralf / _posts / 2019-04-30-stacked-borrows-2.md

diff --git a/ralf/_posts/2019-04-30-stacked-borrows-2.md b/ralf/_posts/2019-04-30-stacked-borrows-2.md
index 573182609c221ac984791687f4efaaa408fa3a44..669d49dff54d539c813628b5501a72102742b50f 100644 (file)
--- a/ralf/_posts/2019-04-30-stacked-borrows-2.md
+++ b/ralf/_posts/2019-04-30-stacked-borrows-2.md
@@ -80,7 +80,7 @@ pub struct Stack {
 {% endhighlight %}
 The *tag* is also simpler than it was before: there are no longer separate tags for mutable and shared references.
 {% highlight rust %}
 {% endhighlight %}
 The *tag* is also simpler than it was before: there are no longer separate tags for mutable and shared references.
 {% highlight rust %}

-pub type PtrId = NonZeroU64;
+pub type PtrId = u64;

 pub enum Tag {
     Tagged(PtrId),
     Untagged,
 pub enum Tag {
     Tagged(PtrId),
     Untagged,