Renamed lclintMacros.nf splintMacros.nf

[splint.git] / src / Headers / llerror.h

diff --git a/src/Headers/llerror.h b/src/Headers/llerror.h
index d6773c7e2199d01050473f728fb6a407d65d200f..f9e5f707d5202f94441ad742e7d0c7b5a753cc48 100644 (file)
--- a/src/Headers/llerror.h
+++ b/src/Headers/llerror.h
@@ -54,7 +54,7 @@ extern /*@noreturnwhenfalse@*/ void llassertfatal (/*@sef@*/ bool p_test);
        } while (FALSE)
 
 /*
-** llassertprint and llassertprintret are in lclintMacros.nf
+** llassertprint and llassertprintret are in splintMacros.nf
 */
 
 extern void llmsg (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;