X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/60868d40e1ea0f9d4c026d991b0e79e4b1e4c986..f2b6724f9fdd443cbb7cd7db1ddd31c4c54fa5cf:/src/Headers/osd.h

diff --git a/src/Headers/osd.h b/src/Headers/osd.h
index c7e2fbf..11e7d61 100644
--- 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) ;