Fix: Support for Corretto tests (#3733)

dafny-lang · Mar 16, 2023 · b96ad84 · b96ad84
1 parent c619dbe
commit b96ad84
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Source/DafnyCore/Compilers/Java/Compiler-java.cs b/Source/DafnyCore/Compilers/Java/Compiler-java.cs
@@ -3417,7 +3417,8 @@ protected override void EmitHalt(IToken tok, Expression messageExpr, ConcreteSyn
       var wStmts = wr.Fork();
       wr.Write("throw new dafny.DafnyHaltException(");
       if (tok != null) {
-        wr.Write("\"" + Dafny.ErrorReporter.TokenToString(tok) + ": \" + ");
+        EmitStringLiteral(ErrorReporter.TokenToString(tok) + ": ", true, wr);
+        wr.Write(" + ");
       }
 
       EmitToString(wr, messageExpr, wStmts);

diff --git a/docs/dev/news/3731.fix b/docs/dev/news/3731.fix
@@ -0,0 +1 @@
+Support for Corretto tests