From c9a40a40e76c598a41284f8c532a851477ed52a8 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 5 Mar 2015 09:35:47 +0000
Subject: Summary: Fix compile warning on isar-markup-ml

---
 isar/isar-unicode-tokens.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'isar')

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index 598082a1..a1e05843 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -18,6 +18,8 @@
   (require 'unicode-tokens)	    ; it's loaded dynamically at runtime
   (require 'proof-unicode-tokens))  ; that file loads us at runtime
 
+(declare-function isar-markup-ml "isar")
+
 ;;
 ;; Customization
 ;;
-- 
cgit v1.2.3