X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ferror.h;h=e1016882285b58a09919daa8c4b0616470eddecc;hb=b9799cdd10b30ea96d9178b7a0d48504d052228c;hp=ab38af6234631099cb19a46f8b4a1901c4a9bf0f;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp-builds.git

diff --git a/src/error.h b/src/error.h
index ab38af62..e1016882 100644
--- a/src/error.h
+++ b/src/error.h
@@ -81,9 +81,9 @@ void err_pop_file_locator (const struct file_locator *);
 void err_location (struct file_locator *);
 
 /* Obscure functions. */
+void err_done (void);
 void err_break (void);
 void err_check_count (void);
-void err_hcf (int exit_code) NO_RETURN;
 void err_vmsg (const struct error *, const char *, va_list);
 
 /* Used in panic situations only */