Fixup c349472d: Remove unused private field

Spotted by coverity.

diff --git a/src/Language.h b/src/Language.h
index f0f2088166ec8aa67eed179992634f6d74eeca89..5627dd48cc8a2193cd71cbf52e51119691e7042f 100644 (file)
--- a/src/Language.h
+++ b/src/Language.h
@@ -140,8 +140,6 @@ private:
        ///
        bool internal_enc_;
        ///
-       bool as_babel_options_;
-       ///
        bool has_gui_support_;
        ///
        bool word_wrap_;