Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / signature.y

diff --git a/src/signature.y b/src/signature.y
index 107e6b343bf5f86022b5cdd81e6c1b5b5f7045c7..b52657da27ffa5ea20c6d0faa282569888f4faf5 100644 (file)
--- a/src/signature.y
+++ b/src/signature.y
@@ -33,7 +33,7 @@
 
 # include <stdio.h>
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 # include "lslparse.h"
 # include "signature.h"