src/Pure/Isar/specification.ML

--- a/src/Pure/Isar/specification.ML	Sun Jun 07 14:36:36 2015 +0200
+++ b/src/Pure/Isar/specification.ML	Sun Jun 07 15:01:07 2015 +0200
@@ -372,7 +372,7 @@
           in
             ctxt'
             |> Variable.auto_fixes asm
-            |> Proof_Context.add_assms_i Assumption.assume_export
+            |> Proof_Context.add_assms Assumption.assume_export
               [((name, [Context_Rules.intro_query NONE]), [(asm, [])])]
             |>> (fn [(_, [th])] => th)
           end;