*** empty log message ***

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

diff --git a/src/Headers/warnClause.h b/src/Headers/warnClause.h
index eaa9293623f53504611d5325afb2b8350713dfdf..375f9ddcb602ded63511b33604381e23d7f9f032 100644 (file)
--- a/src/Headers/warnClause.h
+++ b/src/Headers/warnClause.h
@@ -30,6 +30,8 @@ extern warnClause warnClause_create (/*@only@*/ lltok,
                                     /*@only@*/ flagSpec p_flag,
                                     /*@only@*/ exprNode p_msg) /*@*/ ;
 
+extern /*@only@*/ warnClause warnClause_copy (warnClause) /*@*/ ;
+
 extern /*@observer@*/ flagSpec warnClause_getFlag (warnClause p_w) /*@*/ ;
 
 extern /*@only@*/ cstring warnClause_dump (warnClause p_wc) /*@*/ ;