From 7d1895928aa4dd51d0f0165956f57091ae3bdb34 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Wed, 5 Aug 2015 12:51:09 -0400
Subject: [PATCH] fix(emacs/lean-mode.el): use original extension when make
 temp-file

close #767
---
 src/emacs/lean-mode.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index e3cdb1fbb..39bb57da3 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -37,7 +37,7 @@
 
 (defun lean-create-temp-in-system-tempdir (file-name prefix)
   "Create a temp lean file and return its name"
-  (make-temp-file (or prefix "flymake") nil ".lean"))
+  (make-temp-file (or prefix "flymake") nil (f-ext file-name)))
 
 (defun lean-execute (&optional arg)
   "Execute Lean in the current buffer"