further fixes related to using uninterpreted function for error traces

removed Provers.Simplify, Provers.Z3, Provers.TPTP from the solution

1 files changed, 0 insertions, 2 deletions

diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index 9735aec1..68a8efb6 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -8,9 +8,7 @@ using System.Diagnostics.Contracts;
 using System.Collections.Generic;

 using Microsoft.Boogie;

 using Microsoft.Boogie.VCExprAST;

-using Microsoft.Boogie.Simplify;

 using VC;

-using Microsoft.Boogie.Z3;

 using System.Collections;

 using System.IO;

 using Microsoft.AbstractInterpretationFramework;