diff options
Diffstat (limited to 'Source/Core/ResolutionContext.cs')
| -rw-r--r-- | Source/Core/ResolutionContext.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Core/ResolutionContext.cs b/Source/Core/ResolutionContext.cs index 93018097..d4b353ef 100644 --- a/Source/Core/ResolutionContext.cs +++ b/Source/Core/ResolutionContext.cs @@ -7,7 +7,6 @@ namespace Microsoft.Boogie { using System.Collections;
using System.Collections.Generic;
using System;
- using Microsoft.SpecSharp.Collections;
using System.Diagnostics.Contracts;
[ContractClass(typeof(IErrorSinkContracts))]
|