From d0bcb715ce4c040f39acf41dc18fcdf2ddde60cb Mon Sep 17 00:00:00 2001
From: Diego Barrios Romero <eldruin@gmail.com>
Date: Fri, 16 Nov 2018 19:42:47 +0100
Subject: [PATCH] destroy device at the end

---
 examples/linux.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/linux.rs b/examples/linux.rs
index e41a6f7..05fede9 100644
--- a/examples/linux.rs
+++ b/examples/linux.rs
@@ -21,4 +21,5 @@ fn main() {
     // do something else...
     let seconds = rtc.get_seconds().unwrap();
     println!("Seconds: {}", seconds);
+    let _dev = rtc.destroy_ds3231();
 }