diff options
Diffstat (limited to 'Source/Provers/Z3api/StubContext.cs')
| -rw-r--r-- | Source/Provers/Z3api/StubContext.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/Z3api/StubContext.cs b/Source/Provers/Z3api/StubContext.cs index 28c71751..b8aa607f 100644 --- a/Source/Provers/Z3api/StubContext.cs +++ b/Source/Provers/Z3api/StubContext.cs @@ -4,7 +4,6 @@ using System.Collections.Generic; using System.Threading;
using System.IO;
using System.Diagnostics;
-using Microsoft.Contracts;
using Microsoft.Boogie.AbstractInterpretation;
using Microsoft.Boogie;
using Microsoft.Boogie.Z3;
|