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

diff --git a/src/cstring.c b/src/cstring.c
index 90d0c17..eeb5f2b 100644
--- a/src/cstring.c
+++ b/src/cstring.c
@@ -34,7 +34,6 @@
 # include "splintMacros.nf"
 # include "basic.h"
 # include "osd.h"
-# include "portab.h"
 
 /*@only@*/ /*@notnull@*/ 
 cstring cstring_newEmpty (void)