--- export/src/history.c 2007-03-02 22:26:59.000000000 +0100 +++ ../src/history.c 2007-03-02 22:38:45.000000000 +0100 @@ -47,11 +47,7 @@ #include <string.h> #include <stdlib.h> #include <stdarg.h> -#ifdef HAVE_VIS_H #include <vis.h> -#else -#include "np/vis.h" -#endif #include <sys/stat.h> static const char hist_cookie[] = "_HiStOrY_V2_\n";