*** empty log message ***

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

diff --git a/src/Headers/llmain.h b/src/Headers/llmain.h
index 3d8f18d2ff4245fa48536c35c6ccbed408013be2..eff74f9495123627566c7d934d7b2791f57ed22c 100644 (file)
--- a/src/Headers/llmain.h
+++ b/src/Headers/llmain.h
@@ -35,7 +35,7 @@ extern void showHerald (void);
 
 /*@-redecl@*/
 extern int yyparse (void);
-extern void yyrestart (FILE *p_f);
+extern void yyrestart (FILE *);
 
 # ifndef NOLCL
 extern int ylparse (void);