diff --git a/src/emacs/lean-info.el b/src/emacs/lean-info.el
index 74feb658fd..72f437ea1b 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 056875858c..f02edf5a9c 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)