/*
 * Copyright © 2012 Inria.  All rights reserved.
 * See COPYING in top-level directory.
 */

#ifndef HWLOC_PORT_FREEBSD_PTHREAD_H
#define HWLOC_PORT_FREEBSD_PTHREAD_H

#endif /* HWLOC_PORT_FREEBSD_PTHREAD_H */
