FileName.mangledFilename -> FileName.mangledFileName

[features.git] / src / insets / InsetGraphics.cpp

diff --git a/src/insets/InsetGraphics.cpp b/src/insets/InsetGraphics.cpp
index d0e663475d4f91a28ae2355fc83be936ea635761..bd657b2457c1819ffea811b96dc592dfe323a91c 100644 (file)
--- a/src/insets/InsetGraphics.cpp
+++ b/src/insets/InsetGraphics.cpp
@@ -487,11 +487,11 @@ copyToDirIfNeeded(DocFileName const & file, string const & dir)
        if (rtrim(onlyPath(file_in) , "/") == rtrim(dir, "/"))
                return make_pair(IDENTICAL_PATHS, file_in);
 
-       string mangled = file.mangledFilename();
+       string mangled = file.mangledFileName();
        if (file.isZipped()) {
                // We need to change _eps.gz to .eps.gz. The mangled name is
-               // still unique because of the counter in mangledFilename().
-               // We can't just call mangledFilename() with the zip
+               // still unique because of the counter in mangledFileName().
+               // We can't just call mangledFileName() with the zip
                // extension removed, because base.eps and base.eps.gz may
                // have different content but would get the same mangled
                // name in this case.