1 files changed, 1 insertions, 2 deletions
diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index a2ad1bd3..6ad97141 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -7,8 +7,7 @@ using System.Linq;
 using System.Text;
 using System.IO;
 using Microsoft.Boogie;
-using Graphing;
-using AI = Microsoft.AbstractInterpretationFramework;
+using Microsoft.Boogie.GraphUtil;
 using System.Diagnostics.Contracts;
 using Microsoft.Basetypes;
 using Microsoft.Boogie.VCExprAST;