Removed AIFramework from Boogie -- use native trivial or native interval-based abstract interpretation instead.

Command-line option '/infer' now accepts only arguments 't' and 'j' where the latter is the default now for Boogie.
Command-line option '/logInfer' has been dropped.

1 files changed, 0 insertions, 1 deletions

diff --git a/Source/VCGeneration/HasseDiagram.cs b/Source/VCGeneration/HasseDiagram.cs
index db777336..d5fdfb66 100644
--- a/Source/VCGeneration/HasseDiagram.cs
+++ b/Source/VCGeneration/HasseDiagram.cs
@@ -11,7 +11,6 @@ using System.Threading;
 using System.IO;

 using Microsoft.Boogie;

 using Graphing;

-using AI = Microsoft.AbstractInterpretationFramework;

 using System.Diagnostics.Contracts;

 using Microsoft.Basetypes;

 using Microsoft.Boogie.VCExprAST;