# HG changeset patch
# User arpi
# Date 1028671305 0
# Node ID 9d0090eae586c6a69717bbbb95ddd21d4d0bf73d
# Parent  6048ac6ab00199bd4c6a982a9b2067e1a316b806
10l

diff -r 6048ac6ab001 -r 9d0090eae586 libmpdemux/demuxer.c
--- a/libmpdemux/demuxer.c	Tue Aug 06 21:21:14 2002 +0000
+++ b/libmpdemux/demuxer.c	Tue Aug 06 22:01:45 2002 +0000
@@ -577,7 +577,7 @@
 #endif
 
 //=============== Try to open as multi file: =================
-if(file_format==DEMUXER_TYPE_UNKNOWN || file_format==DEMUXER_TYPE_MF)
+if(file_format==DEMUXER_TYPE_UNKNOWN || file_format==DEMUXER_TYPE_MF){
   if ( mf_support ){
      demuxer=new_demuxer(stream,DEMUXER_TYPE_MF,audio_id,video_id,dvdsub_id);
      file_format=DEMUXER_TYPE_MF;