Chore/grammar (#701)

* Add a space.

* qed -> QED and ' ; qed' -> '; QED'

* ' ; QED' -> '; QED'
This commit is contained in:
James Ray
2018-11-29 15:38:52 +00:00
committed by Pierre Krieger
parent 3aa1fcbdc6
commit fceaf2293b
7 changed files with 17 additions and 17 deletions

View File

@ -215,7 +215,7 @@ where
for subscription in event.subscriptions {
let mut remote_peer_topics = self.connected_peers
.get_mut(&propagation_source)
.expect("connected_peers is kept in sync with the peers we are connected to; we are guaranteed to only receive events from connected peers ; qed");
.expect("connected_peers is kept in sync with the peers we are connected to; we are guaranteed to only receive events from connected peers; QED");
match subscription.action {
FloodsubSubscriptionAction::Subscribe => {
if !remote_peer_topics.contains(&subscription.topic) {