diff options
Diffstat (limited to 'src/include/hterror.H1')
-rw-r--r-- | src/include/hterror.H1 | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/include/hterror.H1 b/src/include/hterror.H1 deleted file mode 100644 index cf4f99d4..00000000 --- a/src/include/hterror.H1 +++ /dev/null @@ -1,6 +0,0 @@ -extern void print_page_and_filename(void ); -extern void jump(void ); -extern void print_token(void ); -extern void token_name(int type); -extern void print_next_ten_tokens(void ); -extern void htperror(char *, int); |