@@ -27,7 +27,6 @@ for x in v.as_pointer() as Ptr<i32> {
 }
 ```
 
-
 ## Stable iterators
 
 `std::map<K, V>` is translated as a `BTreeMap<K, Value<V>>`, which has no
Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,6 @@ for x in v.as_pointer() as Ptr<i32> {`
`27`	`27`	`}`
`28`	`28`	```
`29`	`29`
`30`		`-`
`31`	`30`	`## Stable iterators`
`32`	`31`
`33`	`32`	`std::map<K, V>` is translated as a `BTreeMap<K, Value<V>>`, which has no