]> andersk Git - splint.git/commitdiff
Added missing header to get rid of splintme errors.
authordrl7x <drl7x>
Fri, 28 Feb 2003 03:54:39 +0000 (03:54 +0000)
committerdrl7x <drl7x>
Fri, 28 Feb 2003 03:54:39 +0000 (03:54 +0000)
src/clabstract.c

index 3798ba6d945727617d53527f26506d45fc4607cb..26c52ff5318b37f2a18e8e7dfe24efdbdcdcb8a0 100644 (file)
@@ -36,6 +36,8 @@
 # include "structNames.h"
 # include "nameChecks.h"
 
+# include "cscannerHelp.h"
+
 # ifdef SANITIZER
 # include "sgrammar_tokens.h"
 # else
This page took 0.104212 seconds and 5 git commands to generate.