/*
 * teshline.h for tesh NT
 * $Id: terminal.h,v 1.2 2002/02/08 11:56:10 cb Exp $
 * 010710 cb
 */

#ifndef TERMINAL_H
#define TERMINAL_H 1

#include <stdio.h>
#include <readline/readline.h>
#include <readline/history.h>

#define PROMPT "dlxsim$ "
#define TOK_SEP " "

extern void init_readline();
extern char *get_str(char *prompt);
char *static_strdup(char *s);

#endif