Fix substitution for $$Contents.

The second argument here is the length of the string to replace,
not the position of the final character.

diff --git a/src/insets/ExternalSupport.cpp b/src/insets/ExternalSupport.cpp
index f208a953d3b441b6554f98dc3fb3f4364450e26d..37c382a37f64cf6b8a4636c95f3b946a9024a7a7 100644 (file)
--- a/src/insets/ExternalSupport.cpp
+++ b/src/insets/ExternalSupport.cpp
@@ -200,7 +200,7 @@ string const doSubstitution(InsetExternalParams const & params,
 
                size_t const pos = result.find("$$Contents(\"");
                size_t const end = result.find("\")", pos);
-               result.replace(pos, end + 2, contents);
+               result.replace(pos, end + 2- pos, contents);
        }
 
        return result;