update

boogie-org · Dec 10, 2023 · a72d064 · a72d064
1 parent c6f2571
commit a72d064
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Source/Concurrency/LinearTypeChecker.cs b/Source/Concurrency/LinearTypeChecker.cs
@@ -1,5 +1,4 @@
-using System;
-using System.Collections.Generic;
+using System.Collections.Generic;
 using System.Linq;
 
 namespace Microsoft.Boogie