From: drl7x <drl7x>
Date: Fri, 28 Feb 2003 03:54:39 +0000 (+0000)
Subject: Added missing header to get rid of splintme errors.
X-Git-Tag: splint-3_1_0~59
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/d7143e90a13261ebc058c1d11b2b1076c13504cd

Added missing header to get rid of splintme errors.
---

diff --git a/src/clabstract.c b/src/clabstract.c
index 3798ba6..26c52ff 100644
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -36,6 +36,8 @@
 # include "structNames.h"
 # include "nameChecks.h"
 
+# include "cscannerHelp.h"
+
 # ifdef SANITIZER
 # include "sgrammar_tokens.h"
 # else