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

[splint.git] / src / stDeclNodeList.c

diff --git a/src/stDeclNodeList.c b/src/stDeclNodeList.c
index 2b7ebd3debb85af8a86423c9b92d99846bffea49..7a6fd75d5920d85d534e2b4b1be79698b68ababf 100644 (file)
--- a/src/stDeclNodeList.c
+++ b/src/stDeclNodeList.c
@@ -30,7 +30,7 @@
 */
 
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 
 /*@only@*/ stDeclNodeList
 stDeclNodeList_new ()