Cleanup

boogie-org · Aug 15, 2024 · 100ee6c · 100ee6c
1 parent c258866
commit 100ee6c
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 11 deletions.
diff --git 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
@@ -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