Fixed inclusion problems with osd.h.

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index fa1d64d4a0c3950557acca24cef93fb4c42b70e5..cc317ba1b6087197761cda7499dbc8a802382390 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -42,7 +42,6 @@
 # include "llmain.h"
 # include "intSet.h"
 # include "osd.h"
-# include "portab.h"
 
 extern /*@external@*/ int yydebug;
 extern /*@external@*/ int mtdebug;