#ifndef __CONFIG_H__
#define __CONFIG_H__

#warning config.h is deprecated; please use ghcconfig.h instead
#include "ghcconfig.h"

#endif