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

[splint.git] / src / cpphash.c

diff --git a/src/cpphash.c b/src/cpphash.c
index 937af05fcd4420e7dfc86744fe419a8d96331c58..3716c2abb64d6485f25dddaf0d20e9531f870813 100644 (file)
--- a/src/cpphash.c
+++ b/src/cpphash.c
@@ -52,7 +52,7 @@ Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  what you give them.   Help stamp out software-hoarding!  */
 
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 # include <string.h>
 # include "cpplib.h"
 # include "cpphash.h"