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

diff --git a/src/flags.c b/src/flags.c
index b9874fe..a148f56 100644
--- a/src/flags.c
+++ b/src/flags.c
@@ -28,7 +28,6 @@
 # include "splintMacros.nf"
 # include "basic.h"
 # include "osd.h"
-# include "portab.h"
 # include "rcfiles.h"
 # include "lslinit.h"
 # include "llmain.h"