added missing escape sequence

This commit is contained in:
Peter Siegmund committed 2015-06-19 12:37:30 +02:00
1 parent 78817ac60a
commit 9410b6b557
1 file changed
+1 -1
@@ -43,6 +43,6 @@ public class SimpleRaceIdentifierEscapingTest {
}
private String escape(String s) {
return s.replace("\\", "\\\\");
return s.replace("\\", "\\\\").replace(".", "\\.");
}
}