Undo obsolete imports

boogie-org · Feb 15, 2024 · fe61fb9 · fe61fb9
1 parent 8e8478c
commit fe61fb9
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 3 deletions.
diff --git a/Source/Houdini/HoudiniSession.cs b/Source/Houdini/HoudiniSession.cs
@@ -1,5 +1,4 @@
 using System;
-using System.Collections.Concurrent;
 using System.Diagnostics.Contracts;
 using System.Collections.Generic;
 using System.IO;

diff --git a/Source/VCGeneration/ProofRun.cs b/Source/VCGeneration/ProofRun.cs
@@ -1,4 +1,3 @@
-using System.Collections.Concurrent;
 using System.Collections.Generic;
 using Microsoft.Boogie;
 

diff --git a/Source/VCGeneration/Split.cs b/Source/VCGeneration/Split.cs
@@ -1,5 +1,4 @@
 using System;
-using System.Collections.Concurrent;
 using System.Collections.Generic;
 using System.Diagnostics;
 using System.Linq;