From 20b594e1cd2fe5f4c7ce7270c8fa3c004203442a Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 13 Apr 2015 14:19:39 +0100
Subject: [PATCH] fix(emacs/lean-mode.el): use 'shell-quote-argument' in
 lean-execute

close #544
---
 src/emacs/lean-mode.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index c6787eff4c..ecba3fe53f 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -49,9 +49,9 @@
           (buffer-file-name)
           (flymake-init-create-temp-buffer-copy 'lean-create-temp-in-system-tempdir))))
     (compile (lean-compile-string
-              (lean-get-executable lean-executable-name)
+              (shell-quote-argument (lean-get-executable lean-executable-name))
               (or arg "")
-              target-file-name))))
+              (shell-quote-argument target-file-name)))))
 
 (defun lean-exec-at-pos (process-name process-buffer-name &rest options)
   "Execute Lean by providing current position with optional