# HG changeset patch
# User Dan Nicolaescu <dann@ics.uci.edu>
# Date 1280126246 25200
# Node ID 155f42db7e61d7de3a67c95c8c4022fa2ff740dd
# Parent  05aff7edcc3d5ad1d5c9a618a7354a1a82d3becd
Mark functions as NO_RETURN.
* src/lisp.h (Ftop_level, Fexit_recursive_edit)
(Fabort_recursive_edit): Mark as NO_RETURN.

diff -r 05aff7edcc3d -r 155f42db7e61 src/ChangeLog
--- a/src/ChangeLog	Sun Jul 25 23:22:32 2010 -0700
+++ b/src/ChangeLog	Sun Jul 25 23:37:26 2010 -0700
@@ -1,3 +1,8 @@
+2010-07-26  Dan Nicolaescu  <dann@ics.uci.edu>
+
+	* lisp.h (Ftop_level, Fexit_recursive_edit)
+	(Fabort_recursive_edit): Mark as NO_RETURN.
+
 2010-07-26  Kenichi Handa  <handa@m17n.org>
 
 	* font.c (Ffont_shape_gstring): Terminate GSTRING by nil if the
diff -r 05aff7edcc3d -r 155f42db7e61 src/lisp.h
--- a/src/lisp.h	Sun Jul 25 23:22:32 2010 -0700
+++ b/src/lisp.h	Sun Jul 25 23:37:26 2010 -0700
@@ -3155,7 +3155,9 @@
 extern int input_pending;
 EXFUN (Fdiscard_input, 0);
 EXFUN (Frecursive_edit, 0);
-EXFUN (Ftop_level, 0);
+EXFUN (Ftop_level, 0) NO_RETURN;
+EXFUN (Fexit_recursive_edit, 0) NO_RETURN;
+EXFUN (Fabort_recursive_edit, 0) NO_RETURN;
 EXFUN (Fcommand_execute, 4);
 EXFUN (Finput_pending_p, 0);
 extern Lisp_Object menu_bar_items (Lisp_Object);