X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8f58355ac23c75fac70c5eb471a15034bb90816e..368f75ae50489f85a5f83f997f050653f48e5d18:/src/Headers/exprNode.h

diff --git a/src/Headers/exprNode.h b/src/Headers/exprNode.h
index 94807a7..40975bf 100644
--- a/src/Headers/exprNode.h
+++ b/src/Headers/exprNode.h
@@ -237,6 +237,11 @@ extern /*@observer@*/ exprNode exprNode_makeMustExit (void) /*@*/ ;
 extern exprNode 
   exprNode_cond (/*@keep@*/ exprNode p_pred, /*@keep@*/ exprNode p_ifclause, 
 		 /*@keep@*/ exprNode p_elseclause) /*@*/ ;
+
+extern exprNode 
+exprNode_condIfOmit (/*@keep@*/ exprNode p_pred, 
+		     /*@keep@*/ exprNode p_elseclause) /*@*/ ;
+
 extern exprNode exprNode_makeError(void) /*@*/ ;
 
 extern exprNode exprNode_makeInitBlock (lltok p_brace, /*@only@*/ exprNodeList p_inits) /*@*/ ;