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

diff --git a/src/context.c b/src/context.c
index fa1d64d..cc317ba 100644
--- a/src/context.c
+++ b/src/context.c
@@ -42,7 +42,6 @@
 # include "llmain.h"
 # include "intSet.h"
 # include "osd.h"
-# include "portab.h"
 
 extern /*@external@*/ int yydebug;
 extern /*@external@*/ int mtdebug;