/* Copyright (C) 1995 DJ Delorie, see COPYING.DJ for details */
#include <ctype.h>
#include <inlines/ctype.ha>

int (isxdigit)(int c)
{
  return isxdigit(c);
}