diff options
author | Norbert Preining <norbert@preining.info> | 2022-08-14 03:00:41 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-08-14 03:00:41 +0000 |
commit | e874d39878309e456c7ffe8d5fc6a91be571b50c (patch) | |
tree | 818c806809254f29f08c3e436a764cbdc566d59a /dviware/dvisvgm/src/MetafontWrapper.cpp | |
parent | b229ca426d9d7fee0e3c48c58a00ffcf3da66cb0 (diff) |
CTAN sync 202208140300
Diffstat (limited to 'dviware/dvisvgm/src/MetafontWrapper.cpp')
-rw-r--r-- | dviware/dvisvgm/src/MetafontWrapper.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dviware/dvisvgm/src/MetafontWrapper.cpp b/dviware/dvisvgm/src/MetafontWrapper.cpp index bf1bbf1ba4..03c3e2b5ef 100644 --- a/dviware/dvisvgm/src/MetafontWrapper.cpp +++ b/dviware/dvisvgm/src/MetafontWrapper.cpp @@ -118,7 +118,7 @@ int MetafontWrapper::getResolution (const string &mfMessage) const { string line = buf; if (line.substr(0, 18) == "Output written on ") { line = line.substr(18); - size_t pos = line.find(' '); + auto pos = line.find(' '); line = line.substr(0, pos); pos = line.rfind('.'); if (pos != string::npos && line.substr(line.length()-2) == "gf") { |