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/Tools/Code/code_scala.ML
changeset 37893 0dbbc4c5a67e
parent 37881 096c8397c989
child 37932 d00a3f47b607 
--- a/src/Tools/Code/code_scala.ML	Tue Jul 20 08:54:21 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Tue Jul 20 08:54:21 2010 +0200
@@ -214,7 +214,7 @@
                   ];
           in
             Pretty.chunks (applify "[" "]" (str o prefix "+" o lookup_tyvar tyvars o fst)
-              NOBR ((concat o map str) ["sealed", "class", deresolve_base name]) vs
+              NOBR ((concat o map str) ["abstract", "sealed", "class", deresolve_base name]) vs
                 :: map print_co cos)
           end
       | print_stmt (name, Code_Thingol.Class (_, (v, (super_classes, classparams)))) =
isabelle