Merge branch 'master' of github.com:jkitchin/org-ref

jkitchin · Nov 1, 2023 · 195b8d3 · 195b8d3
2 parents 779da94 + 1773de6
commit 195b8d3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/org-ref-ref-links.el b/org-ref-ref-links.el
@@ -23,6 +23,7 @@
 
 ;;; Code:
 (eval-and-compile (require 'org-macs))
+(eval-and-compile (require 'ol))
 (require 'hydra)
 
 (defcustom org-ref-default-ref-type "ref"