#include "HsReadline.h"

void hs_rl_message (const char *s) 
{
    rl_message ("%s", s);
}