diff options
Diffstat (limited to 'Source/Houdini/Houdini.cs')
| -rw-r--r-- | Source/Houdini/Houdini.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index f27cd410..5271a6a3 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -11,7 +11,7 @@ using Microsoft.Boogie.VCExprAST; using VC;
using System.Collections;
using System.IO;
-using Graphing;
+using Microsoft.Boogie.GraphUtil;
namespace Microsoft.Boogie.Houdini {
|