Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/goals.ML
changeset 16335 37aabcf75ee1
parent 16128 927627fafca5
child 16458 4c6fd0c01d28 
--- a/src/Pure/goals.ML	Thu Jun 09 12:03:21 2005 +0200
+++ b/src/Pure/goals.ML	Thu Jun 09 12:03:22 2005 +0200
@@ -198,7 +198,7 @@
 
   fun print sg {space, locales, scope} =
     let
-      val locs = NameSpace.extern_table space locales;
+      val locs = NameSpace.extern_table (space, locales);
       val scope_names = rev (map (NameSpace.extern space o fst) (! scope));
     in
       [Display.pretty_name_space ("locale name space", space),
isabelle