# HG changeset patch
# User alex
# Date 1065894529 0
# Node ID d107c545d745772681c3bdb0b87e7b7a542df546
# Parent  0f0e9dfa67239940f6c45f4e7c5937818bbb3781
using av_abort

diff -r 0f0e9dfa6723 -r d107c545d745 xvmcvideo.c
--- a/xvmcvideo.c	Sat Oct 11 17:44:21 2003 +0000
+++ b/xvmcvideo.c	Sat Oct 11 17:48:49 2003 +0000
@@ -120,8 +120,7 @@
 
     if(s->encoding){
         fprintf(stderr,"XVMC doesn't support encoding!!!\n");
-        assert(0);
-        return;
+	av_abort();
     }
 
    //from MPV_decode_mb(),