[FFmpeg-cvslog] lavc/options: Remove unneeded header

[Derek Buitenhuis]

ffmpeg | branch: master | Derek Buitenhuis <derek.buitenhuis at gmail.com> | Wed Dec 27 11:11:23 2017 -0500| [500a9bb5ba94201dd53bd714794fc33e5ffe3773] | committer: Derek Buitenhuis

lavc/options: Remove unneeded header

Signed-off-by: Derek Buitenhuis <derek.buitenhuis at gmail.com>

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=500a9bb5ba94201dd53bd714794fc33e5ffe3773
---

 libavcodec/options.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libavcodec/options.c b/libavcodec/options.c
index 82e12179a6..41b60521cc 100644
--- a/libavcodec/options.c
+++ b/libavcodec/options.c
@@ -30,7 +30,6 @@
 #include "libavutil/internal.h"
 #include "libavutil/mem.h"
 #include "libavutil/opt.h"
-#include <float.h>              /* FLT_MIN, FLT_MAX */
 #include <string.h>
 
 FF_DISABLE_DEPRECATION_WARNINGS