diff options
author | 2020-06-04 16:06:18 +0000 | |
---|---|---|
committer | 2020-09-29 11:56:56 +0000 | |
commit | 4b40ff00b6c91bc10a4e32bf19449da0ecb0e14d (patch) | |
tree | 261ed690f69346fd5cf302d1f3bfa29808126714 /examples/resource-user-struct.rs | |
parent | 487fea45ce15ea375192f72ddb148dda8414873b (diff) | |
download | rtic-4b40ff00b6c91bc10a4e32bf19449da0ecb0e14d.tar.gz rtic-4b40ff00b6c91bc10a4e32bf19449da0ecb0e14d.tar.zst rtic-4b40ff00b6c91bc10a4e32bf19449da0ecb0e14d.zip |
Workaround lint for now
Diffstat (limited to 'examples/resource-user-struct.rs')
-rw-r--r-- | examples/resource-user-struct.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/resource-user-struct.rs b/examples/resource-user-struct.rs index 132aa349..dbda9a3f 100644 --- a/examples/resource-user-struct.rs +++ b/examples/resource-user-struct.rs @@ -19,6 +19,7 @@ mod app { } // Should not collide with the struct above + #[allow(dead_code)] struct Resources2 { // A resource shared: u32, |