Fixed loading of rc files, warnrc and showscan.

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

diff --git a/src/Headers/osd.h b/src/Headers/osd.h
index c7e2fbfff5bad3f80fff6c32e1861c2bc58ad115..11e7d61c9df64acf0f77097e184c49f6482f85cc 100644 (file)
--- a/src/Headers/osd.h
+++ b/src/Headers/osd.h
@@ -93,6 +93,7 @@ extern cstring osd_fixDefine (cstring);
 extern bool osd_fileIsReadable (cstring);
 
 extern bool osd_isConnectChar (char) /*@*/ ;
+extern /*@observer@*/ cstring osd_getCurrentDirectory (void) /*@*/ ;
 
 # ifdef WIN32
 extern int osd_getPid (void) ;