/* +++Date last modified: 05-Jul-1997 */

/*
**  SNIPPETS header file for CTRLPRNT.C
*/

#ifndef CTRLPRNT__H
#define CTRLPRNT__H

void ctrl_print(char *line);

#endif /* CTRLPRNT__H */