From 7ad7698692c23a9bcf24516c1004554352c9a258 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Tue, 9 Jul 2019 15:06:41 +0200
Subject: [PATCH] Fixup c349472d: Remove unused private field

Spotted by coverity.
---
 src/Language.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Language.h b/src/Language.h
index f0f2088166..5627dd48cc 100644
--- 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_;
-- 
2.39.2