From 88679e1cc6fb26590886686519987fa958a2735b Mon Sep 17 00:00:00 2001 From: qadeer Date: Sat, 25 Feb 2012 14:01:25 -0800 Subject: further fixes related to using uninterpreted function for error traces removed Provers.Simplify, Provers.Z3, Provers.TPTP from the solution --- Source/Provers/SMTLib/Inspector.cs | 1 - 1 file changed, 1 deletion(-) (limited to 'Source/Provers/SMTLib/Inspector.cs') diff --git a/Source/Provers/SMTLib/Inspector.cs b/Source/Provers/SMTLib/Inspector.cs index 4126c169..362502f3 100644 --- a/Source/Provers/SMTLib/Inspector.cs +++ b/Source/Provers/SMTLib/Inspector.cs @@ -11,7 +11,6 @@ using System.Collections.Generic; using System.Diagnostics.Contracts; //using util; using Microsoft.Boogie; -using Microsoft.Boogie.Simplify; using Microsoft.Basetypes; using Microsoft.Boogie.VCExprAST; -- cgit v1.2.3