refactoring

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index f7115298..619c8918 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -8,7 +8,6 @@ using System.Collections;
 using System.Collections.Generic;

 using System.Threading;

 using System.IO;

-

 //using ExternalProver;

 using System.Linq;

 using System.Diagnostics;

@@ -19,6 +18,7 @@ using Microsoft.Boogie.VCExprAST;
 using Microsoft.Boogie.Clustering;

 using Microsoft.Boogie.TypeErasure;

 using System.Text;

+

 using RPFP = Microsoft.Boogie.RPFP;

 

 namespace Microsoft.Boogie.SMTLib