From 41cb3bbc0ee4f505a264c48a711c0110ed0baab6 Mon Sep 17 00:00:00 2001
From: Jean-Marc <lasgouttes@lyx.org>
Date: Sat, 12 Sep 2015 18:49:22 +0200
Subject: [PATCH] Mark dead code as dead

Coverity issue 23511.
---
 src/support/userinfo.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/support/userinfo.cpp b/src/support/userinfo.cpp
index af33d1d66a..97c458c7c7 100644
--- a/src/support/userinfo.cpp
+++ b/src/support/userinfo.cpp
@@ -64,11 +64,12 @@ docstring const user_email()
 	//The code after should be used only after user approval.
 	return docstring();
 
-	
+#if 0
 	string email = getEnv("EMAIL_ADDRESS");
 	if (email.empty())
 		email = getEnv("EMAIL");
 	return from_local8bit(email);
+#endif
 }
 
 } // namespace support