// prompt.C

#include <iostream.h>
#include "prompt.h"

void prompt(char *prompt_string)
{
  cout << prompt_string << flush;
}