Fixed bug with things like char * c [] = {"dfd", "dfdf", "DFSDFS" }

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

diff --git a/src/Headers/exprNode.h b/src/Headers/exprNode.h
index 4f3643cb751286a77da833803c1c3d766e3546bb..e9b8cda69562b45e1571477c467304e42cdab5a8 100644 (file)
--- a/src/Headers/exprNode.h
+++ b/src/Headers/exprNode.h
@@ -376,6 +376,11 @@ extern /*@only@*/ fileloc exprNode_getNextSequencePoint (exprNode p_e) ;
 /*drl 01-20-2001*/
 exprNode exprNode_createNew(ctype p_c);
 
+
+/* drl 07-25-01 */
+
+bool exprNode_isInitBlock (exprNode p_e);
+
 # else
 # error "Multiple include"
 # endif