X-Git-Url: http://git.code-monkey.de/?a=blobdiff_plain;f=src%2Fbootloader%2Fmain.rs;h=321166c55a55f9bde891b5ec32db1ae804d3f8ce;hb=4010ab05ac4d3c6c4f3edbff6f2ff3a4b67fd32f;hp=a5fe9832d30a7cf6d18ed9ca3e130e5477818163;hpb=7fb6d100bd5f916d8e9684d654c27796665f3ef1;p=gps-watch.git

diff --git a/src/bootloader/main.rs b/src/bootloader/main.rs
index a5fe983..321166c 100644
--- a/src/bootloader/main.rs
+++ b/src/bootloader/main.rs
@@ -44,7 +44,7 @@ extern {
     fn enable_interrupts();
     fn disable_interrupts();
 
-    fn jump_to_application(address: u32);
+    fn jump_to_application(address: u32) -> !;
 }
 
 #[cfg(bootloader_type = "intermediate")]