Fixed problem with shadow parameters.

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

diff --git a/src/Headers/context.h b/src/Headers/context.h
index c8ba6c3c66b679982ad7db2331363a6f3bad16f2..546ee562949841b06d5a3079558253466500f7e7 100644 (file)
--- a/src/Headers/context.h
+++ b/src/Headers/context.h
@@ -297,6 +297,10 @@ extern clause context_nextBreakClause (void);
 extern bool context_anyErrors (void) /*@globals internalState@*/ ;
 extern void context_hasError (void) /*@modifies internalState@*/ ;
 extern int context_numErrors (void) /*@globals internalState@*/ ;
+
+extern void context_recordBug (void) /*@modifies internalState@*/ ;
+extern int context_numBugs (void) /*@globals internalState@*/ ;
+
 extern bool context_neednl (void);
 extern void context_setNeednl (void);