diff -r be1824f53c48 -r 14bfeed046f3 src/file.h
--- a/src/file.h	Thu Aug 01 16:05:31 2013 +0300
+++ b/src/file.h	Thu Aug 01 17:00:14 2013 +0300
@@ -128,6 +128,7 @@
 	static LDFile* current();
 	static void setCurrent (LDFile* f);
 	static void closeInitialFile();
+	static int countExplicitFiles();
 	str getShortName();
 	
 private: