From 515fc1b859c7c0eaff355d15f76f62945dd09ff9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Niels=20M=C3=B6ller?= <nisse@lysator.liu.se>
Date: Thu, 7 Jul 2011 22:43:55 +0200
Subject: [PATCH] (werror): Removed incorrect noreturn attribute from
 declaration.

Rev: nettle/tools/misc.h:1.4
---
 tools/misc.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/misc.h b/tools/misc.h
index b0ddb61a..828fe9bd 100644
--- a/tools/misc.h
+++ b/tools/misc.h
@@ -39,7 +39,6 @@ void
 werror(const char *format, ...)
 #if __GNUC___
      __attribute__((__format__ (__printf__,1, 2)))
-     __attribute__((__noreturn__))
 #endif
      ;
 
-- 
GitLab