Commit a9106e5d authored by Jesper Öqvist's avatar Jesper Öqvist
Browse files

Properly escape file separator in JJ7/JavaPrettyPrinter

parent 96ba7a9d
2013-01-10 Jesper Öqvist <jesper.oqvist@cs.lth.se>
* Fixed error in Java7Frontend/JavaPrettyPrinter.
Properly escape backslash file separator.
2013-01-07 Jesper Öqvist <jesper.oqvist@cs.lth.se>
* Don't add java.class.path to classpath
......
......@@ -43,7 +43,7 @@ class JavaPrettyPrinter extends Frontend {
protected void processNoErrors(CompilationUnit unit) {
String separator = System.getProperty("file.separator");
if (separator == "\\")
if (separator.equals("\\"))
// regex escape
separator = "\\\\";
String fnIn = unit.pathName();
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment