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

[splint.git] / src / mapping.c

diff --git a/src/mapping.c b/src/mapping.c
index 881a260f81f1286bf384c856942ec661909289f0..ef35daaf66ec7b66f4a3f2c68a770578dcca4efe 100644 (file)
--- a/src/mapping.c
+++ b/src/mapping.c
@@ -32,7 +32,7 @@
 */
 
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 
 /*@constant int MAPPING_SIZE; @*/
 # define MAPPING_SIZE 127