From c6ca43def9709dd8a3104ecc4eb7047219afc4d1 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Fri, 21 Sep 2018 17:27:54 +0200
Subject: [PATCH] Update Missing.md.

---
 Missing.md | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Missing.md b/Missing.md
index 2d708275..06065e1b 100644
--- a/Missing.md
+++ b/Missing.md
@@ -5,7 +5,3 @@ Missing APIs from the types we cover (APIs have been added after this formalizat
 * Structural conversion for slices.  The matching operations in our model would be
   `&mut Cell<(A, B)>` -> `(&mut Cell<A>, &mut Cell<B>)` and
   `&Cell<(A, B)>` -> `(&Cell<A>, &Cell<B>)`.
-
-# RefCell
-
-* RefMut::split: https://github.com/rust-lang/rust/pull/51466
-- 
GitLab