diff --git a/Source/Core/AST/AbsyCmd.cs b/Source/Core/AST/AbsyCmd.cs
index 3a0bc2f09..85d35413d 100644
--- a/Source/Core/AST/AbsyCmd.cs
+++ b/Source/Core/AST/AbsyCmd.cs
@@ -3497,7 +3497,7 @@ void ObjectInvariant()
     {
       Contract.Invariant(labelNames == null || labelTargets == null || labelNames.Count == labelTargets.Count);
     }
-    
+
     [NotDelayed]
     public GotoCmd(IToken /*!*/ tok, List<String> /*!*/ labelSeq)
       : base(tok)
diff --git a/Source/VCGeneration/ManualSplitFinder.cs b/Source/VCGeneration/ManualSplitFinder.cs
index d32354273..5fe10f268 100644
--- a/Source/VCGeneration/ManualSplitFinder.cs
+++ b/Source/VCGeneration/ManualSplitFinder.cs
@@ -2,7 +2,6 @@
 using System.Collections.Generic;
 using System.Diagnostics.Contracts;
 using System.Linq;
-using System.Threading.Tasks.Dataflow;
 using Microsoft.Boogie;
 using VC;
 
diff --git a/Source/VCGeneration/OldBlockTransformations.cs b/Source/VCGeneration/OldBlockTransformations.cs
deleted file mode 100644
index 63d1f1f34..000000000
--- a/Source/VCGeneration/OldBlockTransformations.cs
+++ /dev/null
@@ -1,9 +0,0 @@
-using System.Collections.Generic;
-using System.Diagnostics.Contracts;
-using System.Linq;
-using Microsoft.Boogie;
-
-namespace VCGeneration;
-
-class OldBlockTransformations {
-}
\ No newline at end of file