From b05949b6920ce15fd7063643b59cce2f34528854 Mon Sep 17 00:00:00 2001 From: bpringlemeir Date: Wed, 4 Nov 2009 20:28:37 +0000 Subject: [PATCH] Remove unused cpplib_createDefinition. --- src/Headers/cpplib.h | 4 ---- 1 file changed, 4 deletions(-) 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); -- 2.45.0