]> andersk Git - splint.git/blobdiff - src/flags.c
Fixed inclusion problems with osd.h.
[splint.git] / src / flags.c
index b9874fe18e1290c8f01b07f45262effbeaaeb334..a148f56d3040bd5a9020c3d12ba08c5a9a6b7093 100644 (file)
@@ -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"
This page took 0.031647 seconds and 4 git commands to generate.