# include <hal/libhal.h>
#endif
-#include "vlc_os_specific.h"
-
#include <vlc_playlist.h>
#include <vlc_interface.h>
vlc_mutex_destroy( &p_libvlc->timer_lock );
if( b_release ) vlc_object_release( p_libvlc );
- vlc_object_destroy( p_libvlc );
+ vlc_object_release( p_libvlc );
p_libvlc = NULL;
/* Stop thread system: last one out please shut the door!