X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ferror.h;h=e1016882285b58a09919daa8c4b0616470eddecc;hb=012b055f5f7b4ddd2a608e64c53eaae101b5634e;hp=9be862792a46d3f3e2e7e009fa4aeffddbbfd46a;hpb=d807ad29cc0d3caa4f0e04ee4b75c70a225cfeaf;p=pspp

diff --git a/src/error.h b/src/error.h
index 9be862792a..e101688228 100644
--- a/src/error.h
+++ b/src/error.h
@@ -14,8 +14,8 @@
 
    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-   02111-1307, USA. */
+   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+   02110-1301, USA. */
 
 #if !error_h
 #define error_h 1
@@ -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 */