Revert bad change

dafny-lang · Jan 15, 2025 · 8b428fc · 8b428fc
1 parent 3dad04a
commit 8b428fc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Source/DafnyCore/Backends/Java/JavaCodeGenerator.cs b/Source/DafnyCore/Backends/Java/JavaCodeGenerator.cs
@@ -4001,9 +4001,9 @@ protected override ConcreteSyntaxTree EmitCoercionIfNecessary(Type/*?*/ from, Ty
     protected override ConcreteSyntaxTree EmitDowncast(Type from, Type to, IOrigin tok, ConcreteSyntaxTree wr) {
       var w = new ConcreteSyntaxTree();
       if (from != null && to != null && from.IsTraitType && to.AsNewtype != null) {
-        wr.Write($"(({to.AsNewtype.GetFullCompileName(Options)})({w}))");
+        wr.Format($"(({to.AsNewtype.GetFullCompileName(Options)})({w}))");
       } else if (from != null && to != null && from.AsNewtype != null && to.IsTraitType) {
-        wr.Write($"(({TypeName(to, wr, tok)})({w}))");
+        wr.Format($"(({TypeName(to, wr, tok)})({w}))");
       } else {
         wr.Write($"(({TypeName(to, wr, tok)})(java.lang.Object)(");
         w = wr.Fork();