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