/*
 * Header file: stdint.h
 *
 * Description:
 *	This header file is the autoconf replacement for stdint.h (if it lives
 *	on the system).
 */

#ifndef _CONFIG_STDINT_H
#define _CONFIG_STDINT_H

#include "Config/config.h"

#ifdef HAVE_STDINT_H
#include <stdint.h>
#endif

#endif