]> andersk Git - splint.git/commitdiff
Remove unused cpplib_createDefinition.
authorbpringlemeir <bpringlemeir>
Wed, 4 Nov 2009 20:28:37 +0000 (20:28 +0000)
committerbpringlemeir <bpringlemeir>
Wed, 4 Nov 2009 20:28:37 +0000 (20:28 +0000)
src/Headers/cpplib.h

index bc44c01b8d344c57b8b70f3f63527c242477ce38..5df7ba9668c3a27811682345093a55eeaffadd5b 100644 (file)
@@ -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);
This page took 0.037835 seconds and 5 git commands to generate.