From df01bf5006abb190041b001a3b3a40fca4752400 Mon Sep 17 00:00:00 2001
From: PKEuS <philipp.kloke@web.de>
Date: Sun, 28 Sep 2014 10:04:33 +0200
Subject: [PATCH] Fixed false positive introduced recently: return value of
 time() does not need to be taken

---
 cfg/std.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 6c4affa0b..4a798f0e0 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -794,7 +794,7 @@
 	  <arg nr="1"><not-null/><not-uninit/>
 	  </arg> <arg nr="3"><valid>0,2:36</valid></arg>
   </function>
-  <function name="time"> <use-retval/> <noreturn>false</noreturn> <leak-ignore/> </function>
+  <function name="time"> <noreturn>false</noreturn> <leak-ignore/> </function>
   <function name="tmpnam"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"></arg></function>
   <function name="tmpfile"> <use-retval/> <noreturn>false</noreturn> </function>
   <function name="tolower"> <use-retval/> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>