From 58d9d85a564bbae5fa7eaa1f0baa62be56024366 Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Sat, 30 Jul 2016 17:52:06 +0300
Subject: [PATCH] lib/abort_.c: Add prototype to make coverage build happy.

---
 lib/embed/abort_.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/embed/abort_.c b/lib/embed/abort_.c
index b54d08f2c9..a6df8143c3 100644
--- a/lib/embed/abort_.c
+++ b/lib/embed/abort_.c
@@ -1,5 +1,7 @@
 #include <py/runtime.h>
 
-void abort_(void) {
+NORETURN void abort_(void);
+
+NORETURN void abort_(void) {
     nlr_raise(mp_obj_new_exception_msg(&mp_type_RuntimeError, "abort() called"));
 }