Remove attribute

This fixes a crash with the (beta) compiler rustc 1.26.
This commit is contained in:
Matthias Beyer 2018-04-13 16:41:40 +02:00
parent 00b6f4ded3
commit 3819dabff1

View file

@ -700,7 +700,6 @@ pub mod store_check {
};
// Helper function to create a SLCECD::OneDirectionalLink error object
#[inline]
let mk_one_directional_link_err = |src: StoreId, target: StoreId| -> LE {
LE::from_kind(LEK::DeadLink(src, target))
};