fix warning

diff --git a/src/insets/InsetTabular.h b/src/insets/InsetTabular.h
index 8b052c5d732e3b0a3dc9617d5330fa02b3aadad8..f4906cc70fbd90a359e598c8df632279537b98f7 100644 (file)
--- a/src/insets/InsetTabular.h
+++ b/src/insets/InsetTabular.h
@@ -1117,7 +1117,7 @@ public:
        /// Update the counters of this inset and of its contents
        void updateBuffer(ParIterator const &, UpdateType, bool const deleted = false) override;
        ///
-       void updateStatistics(Statistics & stats) const;
+       void updateStatistics(Statistics & stats) const override;
        ///
        void addToToc(DocIterator const & di, bool output_active,
                                  UpdateType utype, TocBackend & backend) const override;