Fixed creation of temp files.

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

diff --git a/src/Headers/lh.h b/src/Headers/lh.h
index d9211ddf47331e97bb0c8a72a40b7ac4bc660d03..b7445b06fd1674d9b075effaf57d52ea2b211b72 100644 (file)
--- a/src/Headers/lh.h
+++ b/src/Headers/lh.h
@@ -9,7 +9,7 @@
 
 extern void lhCleanup (void) /*@modifies internalState, fileSystem@*/ ;
 extern void lhIncludeBool (void) /*@modifies internalState@*/ ;
-extern void lhInit (inputStream p_f) /*@modifies internalState, fileSystem@*/ ;
+extern void lhInit (inputStream p_f) /*@modifies internalState@*/ ;
 extern void lhOutLine (/*@only@*/ cstring p_s) /*@modifies internalState@*/ ;
 extern void lhExternals (interfaceNodeList p_x) /*@modifies internalState@*/ ;