src/Pure/Isar/attrib.ML

--- a/src/Pure/Isar/attrib.ML	Tue Sep 02 14:10:32 2008 +0200
+++ b/src/Pure/Isar/attrib.ML	Tue Sep 02 14:10:45 2008 +0200
@@ -110,7 +110,8 @@
 fun attribute thy = attribute_i thy o intern_src thy;
 
 fun eval_thms ctxt args = ProofContext.note_thmss Thm.theoremK
-    [(("", []), map (apsnd (map (attribute (ProofContext.theory_of ctxt)))) args)] ctxt
+    [((Name.no_binding, []),
+      map (apsnd (map (attribute (ProofContext.theory_of ctxt)))) args)] ctxt
   |> fst |> maps snd;