From 0cdbaccdd196ee3b3a19bd9bdaf5a51435dce6c9 Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Mon, 19 Feb 2024 14:50:58 +0100
Subject: [PATCH] Remove duplication

---
 Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs b/Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs
index 3474d1df36..68825331d1 100644
--- a/Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs
+++ b/Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs
@@ -3,17 +3,11 @@
 using System.Diagnostics.Contracts;
 using System.Linq;
 using System.Numerics;
+using DafnyCore.Backends.Python;
 using JetBrains.Annotations;
 using Microsoft.BaseTypes;
 
 namespace Microsoft.Dafny.Compilers {
-  public static class PythonExtensions {
-    public static ConcreteSyntaxTree NewBlockPy(this ConcreteSyntaxTree tree, string header = "", string footer = "",
-      BlockStyle open = BlockStyle.Newline,
-      BlockStyle close = BlockStyle.Nothing) {
-      return tree.NewBlock(header, footer, open, close);
-    }
-  }
 
   class PythonCodeGenerator : SinglePassCodeGenerator {
     public PythonCodeGenerator(DafnyOptions options, ErrorReporter reporter) : base(options, reporter) {