diff options
Diffstat (limited to 'Build/source/texk/dvipsk/paths.h')
-rw-r--r-- | Build/source/texk/dvipsk/paths.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/source/texk/dvipsk/paths.h b/Build/source/texk/dvipsk/paths.h index 8b7de41bcb5..c0bdf2466d6 100644 --- a/Build/source/texk/dvipsk/paths.h +++ b/Build/source/texk/dvipsk/paths.h @@ -79,8 +79,6 @@ #endif #endif -extern void error() ; - /* paths are all in the Makefile; by not supplying defaults, we force the installer to set them up. */ #endif /* ! KPATHSEA */ |