diff --git a/libavcodec/gif.c b/libavcodec/gif.c
index c22a41823f..ee3a13929f 100644
--- a/libavcodec/gif.c
+++ b/libavcodec/gif.c
@@ -136,7 +136,7 @@ static void gif_put_bits_rev(PutBitContext *s, int n, unsigned int value)
 
         //printf("bitbuf = %08x\n", bit_buf);
         if (s->buf_ptr >= s->buf_end)
-            puts("bit buffer overflow !!"); // should never happen ! who got rid of the callback ???
+            abort();
 //            flush_buffer_rev(s);
         bit_cnt=bit_cnt + n - 32;
         if (bit_cnt == 0) {
diff --git a/libavformat/gif.c b/libavformat/gif.c
index 8092f374c0..7b71faea93 100644
--- a/libavformat/gif.c
+++ b/libavformat/gif.c
@@ -137,7 +137,7 @@ static void gif_put_bits_rev(PutBitContext *s, int n, unsigned int value)
         //printf("bitbuf = %08x\n", bit_buf);
         s->buf_ptr+=4;
         if (s->buf_ptr >= s->buf_end)
-            puts("bit buffer overflow !!"); // should never happen ! who got rid of the callback ???
+            abort();
 //            flush_buffer_rev(s);
         bit_cnt=bit_cnt + n - 32;
         if (bit_cnt == 0) {