From: bpringlemeir <bpringlemeir>
Date: Wed, 4 Nov 2009 20:28:37 +0000 (+0000)
Subject: Remove unused cpplib_createDefinition.
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/b05949b6920ce15fd7063643b59cce2f34528854

Remove unused cpplib_createDefinition.
---

diff --git a/src/Headers/cpplib.h b/src/Headers/cpplib.h
index bc44c01..5df7ba9 100644
--- a/src/Headers/cpplib.h
+++ b/src/Headers/cpplib.h
@@ -214,10 +214,6 @@ extern size_t cpplib_getWritten (/*@sef@*/ cppReader *) /*@*/ ;
 extern /*@exposed@*/ char *cpplib_getPWritten (cppReader *) /*@*/ ;
 # define cpplib_getPWritten(PFILE) ((PFILE)->limit)
 
-extern /*@null@*/ macroDef 
-cpplib_createDefinition (/*@dependent@*/ cstring p_def, fileloc p_loc,
-			 bool p_predefinition, bool p_noExpand) ;
-  
 /* Make sure PFILE->token_buffer has space for at least N more characters. */
 
 extern void cpplib_reserve (/*@sef@*/ cppReader *, /*@sef@*/ size_t);