diff options
| author |  qadeer <unknown> | 2010-12-01 05:43:17 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-12-01 05:43:17 +0000 |
| commit | 5db34109bbb72d290239dfdb571d321fe3f1c48c (patch) | |
| tree | 50c5ba304226e584a8cbf7c03a7480a3d0a65def /Source/Provers/Z3api/ProverLayer.cs | |
| parent | 95ff970b12779a1c0e814084100a0e88e6cc1c3d (diff) | |
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
Diffstat (limited to 'Source/Provers/Z3api/ProverLayer.cs')
| -rw-r--r-- | Source/Provers/Z3api/ProverLayer.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/Z3api/ProverLayer.cs b/Source/Provers/Z3api/ProverLayer.cs index 750e4a00..fd9944ee 100644 --- a/Source/Provers/Z3api/ProverLayer.cs +++ b/Source/Provers/Z3api/ProverLayer.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;
|