Fixed but with parenthesized pointer declarations.

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

diff --git a/src/Headers/idDecl.h b/src/Headers/idDecl.h
index 98749b559bc3e0c4e8d8eacbb77958cf06ca8db0..83cda5a042fc9f70f5fa7e6cc4f608d53eafbda0 100644 (file)
--- a/src/Headers/idDecl.h
+++ b/src/Headers/idDecl.h
@@ -36,6 +36,7 @@ extern /*@only@*/ cstring idDecl_unparseC (idDecl p_d);
 extern /*@exposed@*/ qtype idDecl_getTyp (idDecl p_d);
 extern void idDecl_setTyp (idDecl p_d, /*@only@*/ qtype p_c);
 extern idDecl idDecl_expectFunction (/*@returned@*/ idDecl p_d);
+extern void idDecl_notExpectingFunction (idDecl p_d) /*@modifies p_d@*/ ;
 extern idDecl idDecl_replaceCtype (/*@returned@*/ idDecl p_d, ctype p_c);
 extern idDecl idDecl_fixBase (/*@returned@*/ idDecl p_t, qtype p_b);
 extern idDecl idDecl_fixParamBase (/*@returned@*/ idDecl p_t, qtype p_b);