X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/4caf866b3d452c738cb276e805e48e4f1ccd2eba..8b63eb37025fe1afe1fe4d0160387db50fd77194:/src/fileTable.c

diff --git a/src/fileTable.c b/src/fileTable.c
index ffec6d2..01291f0 100644
--- a/src/fileTable.c
+++ b/src/fileTable.c
@@ -51,7 +51,6 @@
 # include "basic.h"
 # include "osd.h"
 # include "llmain.h"
-# include "portab.h"
 
 # ifdef WIN32
 # include <io.h>