[Bug target/51393] Wrong parameter type for _mm256_insert_epi64 in avxintrin.h

[Jeremie.Detrey at loria dot fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51393

--- Comment #3 from Jérémie Detrey <Jeremie.Detrey at loria dot fr> 2011-12-03 17:25:10 UTC ---
Done, thanks!