From ced0ed0eca2ed3a44abd06f793aa30ca000ce33d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 14 Aug 2014 08:21:42 -0700 Subject: [PATCH] fix(emacs): add missing 'require' Signed-off-by: Leonardo de Moura --- src/emacs/lean-info.el | 1 + src/emacs/lean-type.el | 1 + 2 files changed, 2 insertions(+) diff --git a/src/emacs/lean-info.el b/src/emacs/lean-info.el index 74feb658f..72f437ea1 100644 --- a/src/emacs/lean-info.el +++ b/src/emacs/lean-info.el @@ -5,6 +5,7 @@ ;; (require 'cl-lib) +(require 'subr-x) (require 'lean-util) (require 'lean-debug) diff --git a/src/emacs/lean-type.el b/src/emacs/lean-type.el index 056875858..f02edf5a9 100644 --- a/src/emacs/lean-type.el +++ b/src/emacs/lean-type.el @@ -5,6 +5,7 @@ ;; (require 'cl-lib) +(require 'subr-x) (require 'lean-variable) (require 'lean-cmd) (require 'lean-util)