// simple_input_handling_private.h - private functions needed
// by the simple input handler

#ifndef __simple_input_handling_private_h__
#define __simple_input_handling_private_h__

void dispatch(char *input_line);

#endif // __simple_input_handling_private_h__

