diff options
Diffstat (limited to 'Source/Core/Absy.cs')
-rw-r--r-- | Source/Core/Absy.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs index b64a9e5e..c8c052b7 100644 --- a/Source/Core/Absy.cs +++ b/Source/Core/Absy.cs @@ -77,7 +77,7 @@ namespace Microsoft.Boogie { using System.Collections.Generic;
using System.Diagnostics.Contracts;
using Microsoft.Boogie.AbstractInterpretation;
- using Graphing;
+ using Microsoft.Boogie.GraphUtil;
using Set = GSet<object>;
[ContractClass(typeof(AbsyContracts))]
|