# HG changeset patch
# User wenzelm
# Date 1504263271 -7200
# Node ID e0e3065c63ba9174fc4d0bf1255b3583feb12aec
# Parent  bfabccdad18e676a97b339e86a19012473d2079e
eliminated suspicious Unicode;

diff -r bfabccdad18e -r e0e3065c63ba src/Pure/Isar/locale.ML
--- a/src/Pure/Isar/locale.ML	Fri Sep 01 12:52:46 2017 +0200
+++ b/src/Pure/Isar/locale.ML	Fri Sep 01 12:54:31 2017 +0200
@@ -16,7 +16,7 @@
 A comprehensive account of locales is available:
 
 [1] Clemens Ballarin. Locales: a module system for mathematical theories.
-    Journal of Automated Reasoning, 52(2):123–153, 2014.
+    Journal of Automated Reasoning, 52(2):123-153, 2014.
 
 See also: