Merge pull request #1700 from mietek/master

Add missing dependency on fontset to agda2-mode
agda · Oct 28, 2015 · 1ee8233 · 1ee8233
2 parents b7887d0 + e362523
commit 1ee8233
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/data/emacs-mode/agda2-mode.el b/src/data/emacs-mode/agda2-mode.el
@@ -20,6 +20,7 @@ Note that the same version of the Agda executable must be used.")
 (require 'time-date)
 (require 'eri)
 (require 'annotation)
+(require 'fontset)
 (require 'agda-input)
 (require 'agda2)
 (require 'agda2-highlight)