From e865cbb2e59a95962d7e4d45c31f9ff1e4ba6579 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 16 Apr 2019 21:54:19 +0200
Subject: book: resources shared with init must also be `Send`

---
 ci/script.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ci/script.sh')

diff --git a/ci/script.sh b/ci/script.sh
index 7cda1e5..0e350d1 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -109,6 +109,7 @@ main() {
                 types
                 not-send
                 not-sync
+                shared-with-init
 
                 generics
                 ramfunc
-- 
cgit v1.2.3