*** empty log message ***

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

diff --git a/src/Headers/context.h b/src/Headers/context.h
index 5cd75052da096bb44fd87c53b3c3c434f277bac0..29e4cf7ac34d5793ccce21152da1713499a167b5 100644 (file)
--- a/src/Headers/context.h
+++ b/src/Headers/context.h
@@ -35,6 +35,7 @@ extern void context_setLibrary (flagcode) /*@modifies internalState@*/ ;
 extern void context_setPreprocessing (void) /*@modifies internalState@*/;
 extern void context_clearPreprocessing (void) /*@modifies internalState@*/;
 extern bool context_isPreprocessing (void) /*@*/;
+extern bool context_loadingLibrary (void) /*@*/ ;
 
 extern void context_setInCommandLine (void) /*@modifies internalState@*/ ;
 extern void context_clearInCommandLine (void) /*@modifies internalState@*/ ;