*** empty log message ***

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

diff --git a/src/Headers/clabstract.h b/src/Headers/clabstract.h
index 972babb9c5ac9dd0361eab3b79e9fa5d82cf2dc6..ceeb04024be8da56f9a6e05adc68f7b876cdc0cd 100644 (file)
--- a/src/Headers/clabstract.h
+++ b/src/Headers/clabstract.h
@@ -40,7 +40,7 @@ extern void processNamedDecl (idDecl p_t);
 extern void clabstract_declareFunction (/*@only@*/ idDecl p_tid) 
    /*@globals internalState@*/ ;
 extern void doVaDcl (void);
-extern void doneParams (void);
+extern void oldStyleDoneParams (void);
 
 extern void setCurrentParams (/*@dependent@*/ uentryList p_ue);
 extern void clearCurrentParams (void);