#ifndef __MINITHREAD_EXPORT_H_
#define __MINITHREAD_EXPORT_H_

#include "minithread_public.h"

/*
 * minithread_destroy()
 *
 * Destroy the given thread.
 *
 */

extern void minithread_destroy(minithread_t);

#endif __MINITHREAD_EXPORT_H_