Some things did not need to be mutable after all

diff --git a/src/insets/InsetTabular.h b/src/insets/InsetTabular.h
index 9e0c41e9a7e4a5fbcedd14540e2280be659949e6..a491a3b21d254ce383679dc49fcf64cfff3cc1d3 100644 (file)
--- a/src/insets/InsetTabular.h
+++ b/src/insets/InsetTabular.h
@@ -756,7 +756,7 @@ public:
        ///
        column_vector column_info;
        ///
-       mutable cell_vvector cell_info;
+       cell_vvector cell_info;
        ///
        Length tabular_width;
        ///

diff --git a/src/insets/InsetText.h b/src/insets/InsetText.h
index 8df1bdfce2109c96e5ab32b39708e37cc88b9f2b..28340193c7705d814cf5e8f6f096258e9df9bf46 100644 (file)
--- a/src/insets/InsetText.h
+++ b/src/insets/InsetText.h
@@ -232,7 +232,7 @@ private:
        ///
        ColorCode frame_color_;
        ///
-       mutable Text text_;
+       Text text_;
 };