File TeXmacs-noreturn.patch of Package TeXmacs

--- src/Plugins/Widkit/wk_widget.hpp
+++ src/Plugins/Widkit/wk_widget.hpp
@@ -45,7 +45,7 @@
   SI    x1 (); SI y1 (); // lower left window coordinates of widget
   SI    x2 (); SI y2 (); // upper right window coordinates of widget
   bool  attached ();
-  void  fatal_error (string message, string in="", string fname="");
+  void  fatal_error (string message, string in="", string fname="") __attribute__((__noreturn__));
 
   friend class wk_widget;
 };