author | haftmann |
Tue, 20 Jul 2010 08:54:21 +0200 | |
changeset 37893 | 0dbbc4c5a67e |
parent 37892 | 3d8857f42a64 |
child 37894 | b22db9ecf416 |
--- 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)))) =