]> git.lyx.org Git - features.git/blobdiff - src/support/filetools.C
small changes read changelog
[features.git] / src / support / filetools.C
index f082e2ad9cbb594ff226153b4c7c6fadce82280b..c247043bc34f6ace27376f27651bb7bd30a41920 100644 (file)
@@ -226,7 +226,7 @@ vector<string> const DirList(string const & dir, string const & ext)
           vector<string> dirlist;
           directory_iterator dit("dir");
           while (dit != directory_iterator()) {
-                  string fil = (*dit).filename;
+                  string fil = dit->filename;
                   if (prefixIs(fil, extension)) {
                           dirlist.push_back(fil);
                   }