src/Pure/Isar/local_theory.ML

--- a/src/Pure/Isar/local_theory.ML	Mon Jul 03 09:12:13 2017 +0200
+++ b/src/Pure/Isar/local_theory.ML	Mon Jul 03 09:20:24 2017 +0200
@@ -293,7 +293,7 @@
       let val binding' = Morphism.binding phi binding in
         Context.mapping
           (Global_Theory.alias_fact binding' name)
-          (Proof_Context.fact_alias binding' name)
+          (Proof_Context.alias_fact binding' name)
       end));