X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/112c85fd5ba63bbf83526cdadfc7751b2cf74311..4caf866b3d452c738cb276e805e48e4f1ccd2eba:/src/osd.c diff --git a/src/osd.c b/src/osd.c index da780fc..b429d3f 100644 --- a/src/osd.c +++ b/src/osd.c @@ -62,7 +62,6 @@ # include "splintMacros.nf" # include "basic.h" # include "osd.h" -# include "portab.h" /* from stat.h */ /*@ignore@*/