chore(emacs): remove unnecessary requires

src/emacs/lean-info.el

@@ -7,7 +7,6 @@
 (require 'cl-lib)
 (require 'dash)
 (require 'dash-functional)
-(require 'flycheck)
 (require 'lean-util)
 (require 'lean-debug)
 

src/emacs/lean-mode.el

@@ -12,6 +12,7 @@
 ;;
 ;; Released under Apache 2.0 license as described in the file LICENSE.
 ;;
+(require 'pcase)
 (require 'lean-require)
 (require 'eri)
 (require 'lean-variable)
@@ -169,8 +170,7 @@ enabled and disabled respectively.")
   ;; Delete Trailing Whitespace
   (if lean-delete-trailing-whitespace
       (progn (require 'whitespace-cleanup-mode)
-             (whitespace-cleanup-mode t))
-    (whitespace-cleanup-mode nil))
+             (whitespace-cleanup-mode t)))
   ;; eldoc
   (when lean-eldoc-use
     (set (make-local-variable 'eldoc-documentation-function)

src/emacs/lean-project.el

@@ -4,7 +4,6 @@
 ;; Author: Soonho Kong
 ;;
 
-(require 'flycheck)
 (require 'lean-util)
 
 (defconst lean-project-file-name ".project"

src/emacs/lean-server.el

@@ -7,7 +7,6 @@
 (require 'cl-lib)
 (require 'dash)
 (require 'dash-functional)
-(require 'flycheck)
 (require 's)
 (require 'lean-debug)
 (require 'lean-variable)