From 32c97df697e2adf1fe0ac58f1a17ecfe61fcebc6 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 24 Jan 2017 11:36:14 +0100
Subject: [PATCH] chore(checker): do not set LEAN_PATH unnecessarily

---
 src/checker/checker.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/checker/checker.cpp b/src/checker/checker.cpp
index 1925448d4d..c99634186e 100644
--- a/src/checker/checker.cpp
+++ b/src/checker/checker.cpp
@@ -25,11 +25,6 @@ using namespace lean;  // NOLINT
 int main(int argc, char ** argv) {
 #if defined(LEAN_EMSCRIPTEN)
     EM_ASM(
-        var lean_path = process.env['LEAN_PATH'];
-        if (lean_path) {
-            ENV['LEAN_PATH'] = lean_path;
-        }
-
         try {
             // emscripten cannot mount all of / in the vfs,
             // we can only mount subdirectories...