#ifndef __UTIL_STDINT_H
#define __UTIL_STDINT_H

#ifdef _WIN32
#include "util/msinttypes/stdint.h"
#else
#include <stdint.h>
#endif

#endif