Make the generation of children's tocs more robust

[features.git] / src / insets / InsetExternal.h

diff --git a/src/insets/InsetExternal.h b/src/insets/InsetExternal.h
index 497f1c653a7fa71846f95ee86c7d69124d0dadad..5eca6641cc50c967b743ab8c66ef1e6760f28545 100644 (file)
--- a/src/insets/InsetExternal.h
+++ b/src/insets/InsetExternal.h
@@ -121,7 +121,7 @@ public:
        bool clickable(BufferView const &, int, int) const { return true; }
        ///
        void addToToc(DocIterator const & di, bool output_active,
-                                 UpdateType utype) const;
+                                 UpdateType utype, TocBackend & backend) const;
 private:
        ///
        InsetExternal(InsetExternal const &);