X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmessage.h;h=fad7816f19b0c57804248010203fbbda35feb512;hb=99f4295b50bc02b7024deeb59324a3332b560fbd;hp=6cdf6e87c3732d19cd34679ce7f6afab7f31fe18;hpb=638a86001fe7a237bd6c19a181d796305290d72a;p=pspp

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index 6cdf6e87c3..fad7816f19 100644
--- a/src/libpspp/message.h
+++ b/src/libpspp/message.h
@@ -72,6 +72,8 @@ struct msg_locator
   {
     char *file_name;           /* File name (NULL if none). */
     int line_number;           /* Line number (0 if none). */
+    int first_column;          /* 1-based column number (0 if none). */
+    int last_column;           /* 1-based exclusive last column (0 if none). */
   };
 
 /* A message. */
@@ -115,7 +117,7 @@ void msg_ui_disable_warnings (bool);
 
 
 /* Used in panic situations only. */
-void request_bug_report_and_abort (const char *msg) NO_RETURN;
+void request_bug_report (const char *msg);
 
 
 #endif /* message.h */