Committed my changes (but there are several splintme errors currently).

[splint.git] / lib / bool.h

diff --git a/lib/bool.h b/lib/bool.h
index ff9294b70aec5e513cf352b1c0c958690e80f525..3d223f0913a9364194767d2b3b84814d5e02e891 100644 (file)
--- a/lib/bool.h
+++ b/lib/bool.h
@@ -16,8 +16,8 @@ typedef int bool;
 
 /*
 ** bool_initMod has no real effect
-** Declared with modifies internalState, so no noeffect errors are 
-** reported when it is called.)
+** Declared with modifies internalState, so no warnings about no effects are 
+** reported when it is called.
 */
 
 extern /*@unused@*/ void bool_initMod (void) /*@modifies internalState@*/ ;