src/Pure/Isar/element.ML
changeset 45584 41a768a431a6
parent 45390 e29521ef9059
child 45601 d5178f19b671
--- a/src/Pure/Isar/element.ML	Sat Nov 19 12:33:18 2011 +0100
+++ b/src/Pure/Isar/element.ML	Sat Nov 19 13:02:50 2011 +0100
@@ -119,7 +119,7 @@
         map (fn y => Pretty.block [Pretty.str "  ", Pretty.keyword sep, Pretty.brk 1, y]) ys;
 
 fun pretty_name_atts ctxt (b, atts) sep =
-  if Binding.is_empty b andalso null atts then []
+  if Attrib.is_empty_binding (b, atts) then []
   else
     [Pretty.block (Pretty.breaks
       (Binding.pretty b :: Attrib.pretty_attribs ctxt atts @ [Pretty.str sep]))];