Provided by: allegro5-doc_5.2.9.1+dfsg-1.1build4_all bug

NAME

       al_destroy_mutex - Allegro 5 API

SYNOPSIS

              #include <allegro5/allegro.h>

              void al_destroy_mutex(ALLEGRO_MUTEX *mutex)

DESCRIPTION

       Free  the  resources used by the mutex.  The mutex should be unlocked.  Destroying a locked mutex results
       in undefined behaviour.

       Does nothing if mutex is NULL.

Allegro reference manual                                                               al_destroy_mutex(3alleg5)