From 8bb4601eb9aace9c9e991bf3549a6e1ac6e57b1d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= <necoro@necoro.net>
Date: Wed, 5 Sep 2012 10:31:13 +0200
Subject: enhance isabelle-repair

---
 .emacs.d/evil-settings.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.emacs.d')

diff --git a/.emacs.d/evil-settings.el b/.emacs.d/evil-settings.el
index 90d0396..9821a4f 100644
--- a/.emacs.d/evil-settings.el
+++ b/.emacs.d/evil-settings.el
@@ -13,7 +13,7 @@
 ; make unicode-tokens work
 (setq repair-unicode-shortcuts
   '(progn
-    (print "Repairing Unicode Shortcuts for Evil")
+    (message "Repairing Unicode Shortcuts for Evil")
     (unicode-tokens-use-shortcuts 0)
     (unicode-tokens-use-shortcuts 1)))
 
-- 
cgit v1.2.3