src/Pure/display.ML
changeset 11501 3b6415035d1a
parent 10737 c130eb1e863f
child 11883 7b9522995a78
     1.1 --- a/src/Pure/display.ML	Fri Aug 10 10:25:45 2001 +0200
     1.2 +++ b/src/Pure/display.ML	Wed Aug 15 22:20:30 2001 +0200
     1.3 @@ -211,7 +211,7 @@
     1.4    in
     1.5      [Pretty.strs ("stamps:" :: Sign.stamp_names_of sg),
     1.6        Pretty.strs ("data:" :: Sign.data_kinds data),
     1.7 -      Pretty.strs ["name prefix:", NameSpace.pack path],
     1.8 +      Pretty.strs ["name prefix:", NameSpace.pack (if_none path ["-"])],
     1.9        Pretty.big_list "name spaces:" (map pretty_name_space spaces'),
    1.10        pretty_classes classes,
    1.11        Pretty.big_list "class relation:" (map pretty_classrel (Symtab.dest classrel)),