From d0ab00b1009037e2a09c316b01dd58de96ab51ae Mon Sep 17 00:00:00 2001
From: Alexander Mai <amai@users.sf.net>
Date: Sat, 5 Sep 2015 07:00:22 +0200
Subject: [PATCH] Correct library std.cfg about setjmp

---
 cfg/std.cfg | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 932f9ade3..49c7e3758 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -2848,9 +2848,7 @@
   <function name="setjmp">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1">
-      <not-uninit/>
-    </arg>
+    <arg nr="1"/>
   </function>
   <memory>
     <dealloc>free</dealloc>