# HG changeset patch
# User diego
# Date 1210331420 0
# Node ID 04cb71bddd8e0d2c818fe986d9a62958e42f17ab
# Parent  1b2d09914b4e186d21610f5c4693238dade6c81f
Add required stdint.h header.

diff -r 1b2d09914b4e -r 04cb71bddd8e x86_cpu.h
--- a/x86_cpu.h	Thu May 08 21:11:24 2008 +0000
+++ b/x86_cpu.h	Fri May 09 11:10:20 2008 +0000
@@ -21,6 +21,7 @@
 #ifndef FFMPEG_X86CPU_H
 #define FFMPEG_X86CPU_H
 
+#include <stdint.h>
 #include "config.h"
 
 #ifdef ARCH_X86_64