From 2ed9990cad36bf85bc37bc6df3f1d739bf2b57bc Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 29 Apr 2008 09:19:17 +0000 Subject: [PATCH] HTML warnings in prism2html output. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@776 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/PrismSyntaxHighlighter.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/parser/PrismSyntaxHighlighter.java b/prism/src/parser/PrismSyntaxHighlighter.java index 56583dfe..5f53228d 100644 --- a/prism/src/parser/PrismSyntaxHighlighter.java +++ b/prism/src/parser/PrismSyntaxHighlighter.java @@ -176,8 +176,8 @@ public class PrismSyntaxHighlighter private static String htmlFileHeader(String title) { String s = ""; - - s += "" + "\n"; + s += "\n"; s += "" + "\n"; s += "" + "\n"; @@ -188,7 +188,7 @@ public class PrismSyntaxHighlighter s += "" + "\n"; s += "" + "\n"; s += "" + "\n"; - s += "" + "\n"; + s += "" + "\n"; s += "
" + "\n";
 		
 		return s;