diff options
author | michelou <michelou@epfl.ch> | 2003-08-21 14:50:35 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2003-08-21 14:50:35 +0000 |
commit | ef8c35569457faa104888adfa6a670f69edc317a (patch) | |
tree | cef34812597986b5224dd07341b7d7a72fe80ad0 /sources/ch/epfl/lamp | |
parent | 062981ee6a5b2dd8ee449cc41a6a24c6cbefb644 (diff) | |
download | scala-ef8c35569457faa104888adfa6a670f69edc317a.tar.gz scala-ef8c35569457faa104888adfa6a670f69edc317a.tar.bz2 scala-ef8c35569457faa104888adfa6a670f69edc317a.zip |
- added missing newline in printPreamble
Diffstat (limited to 'sources/ch/epfl/lamp')
-rw-r--r-- | sources/ch/epfl/lamp/util/HTMLPrinter.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/ch/epfl/lamp/util/HTMLPrinter.java b/sources/ch/epfl/lamp/util/HTMLPrinter.java index a12b1f811e..69939ea3cb 100644 --- a/sources/ch/epfl/lamp/util/HTMLPrinter.java +++ b/sources/ch/epfl/lamp/util/HTMLPrinter.java @@ -460,7 +460,7 @@ public class HTMLPrinter { /** Prints HTML preamble. */ protected void printPreamble() { - print("<!DOCTYPE html PUBLIC \"-//W3C//DTD " + + println("<!DOCTYPE html PUBLIC \"-//W3C//DTD " + representation.getType() + "//" + representation.getLanguage() + "\">"); printlnOTag("html").line(); } |