*** empty log message ***

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

diff --git a/src/Headers/cpphash.h b/src/Headers/cpphash.h
index 2ec74c268ece27bdac01ef98ae66486d10537e54..f9a1f3befd5021a4af4839dcdf888baeb1f87ffb 100644 (file)
--- a/src/Headers/cpphash.h
+++ b/src/Headers/cpphash.h
@@ -39,7 +39,7 @@ struct s_hashNode {
    politeness, for use when speed isn't so important. */
 
 extern void cppReader_deleteMacro (/*@exposed@*/ hashNode p_hp) 
-     /*@modifies internalState, *p_hp@*/;
+     /*@modifies internalState, p_hp@*/;
 
 extern /*@exposed@*/ hashNode cppReader_install (char *, int, 
                                                  enum node_type, int,