diff --git a/libmpx/ChangeLog b/libmpx/ChangeLog
index 82daa1fc946549d57d6af833d0ec29890bfe7e00..3edc2d499c6f5806868cf7e46c9e9449c0745b0c 100644
--- a/libmpx/ChangeLog
+++ b/libmpx/ChangeLog
@@ -1,3 +1,7 @@
+2017-01-30  Jakub Jelinek  <jakub@redhat.com>
+
+	* mpxrt/mpxrt-utils.h (__mpxrt_stop): New prototype.
+
 2017-01-21  Jakub Jelinek  <jakub@redhat.com>
 
 	PR other/79046
diff --git a/libmpx/mpxrt/mpxrt-utils.h b/libmpx/mpxrt/mpxrt-utils.h
index 6da12ccb803e027a6e8101616d517d779dd35e5e..a6f4f1b3ca45ba36e98b604f333bfab1fde059f5 100644
--- a/libmpx/mpxrt/mpxrt-utils.h
+++ b/libmpx/mpxrt/mpxrt-utils.h
@@ -66,5 +66,6 @@ void __mpxrt_print (verbose_type vt, const char* frmt, ...);
 mpx_rt_mode_t __mpxrt_mode (void);
 void __mpxrt_utils_free (void);
 void __mpxrt_print_summary (uint64_t num_brs, uint64_t l1_size);
+void __mpxrt_stop (void) __attribute__ ((noreturn));
 
 #endif /* MPXRT_UTILS_H */