*** empty log message ***

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

diff --git a/src/Headers/uentry.h b/src/Headers/uentry.h
index 72836952784a13936aabb97442410e0cd2fab73a..67d89532e32037d65a497b88e44b01e4eba6e23e 100644 (file)
--- a/src/Headers/uentry.h
+++ b/src/Headers/uentry.h
@@ -165,7 +165,7 @@ struct s_uentry
 /*
 ** There is no uentry_isDefined to avoid confusion with
 ** uentry_isCodeDefined (which was previously called 
-** uentry_isDefined.
+** uentry_isDefined).
 */
 
 extern /*@truenull@*/ bool uentry_isUndefined (/*@special@*/ uentry p_e)