Fixed inclusion problems with osd.h.

[splint.git] / src / cstring.c

diff --git a/src/cstring.c b/src/cstring.c
index 90d0c17b20d2d965e9b8293570cb40591e62308b..eeb5f2b89b497ee8b144cb68b3c7dc039dfe4e02 100644 (file)
--- 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)