diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 19:00:35 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 19:00:35 +0100 |
| commit | 62d2fa72d5e1816d6cb1239063302808424c6d13 (patch) | |
| tree | b2e9689705c326b8b7ae8907d566a41a82ec85d0 /Source/Core/AbsyType.cs | |
| parent | 05f3db34fad65243cbfc077bea7247ed5594bbb9 (diff) | |
More refactoring
Diffstat (limited to 'Source/Core/AbsyType.cs')
| -rw-r--r-- | Source/Core/AbsyType.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Core/AbsyType.cs b/Source/Core/AbsyType.cs index 944bbe08..fe2b9a4c 100644 --- a/Source/Core/AbsyType.cs +++ b/Source/Core/AbsyType.cs @@ -11,6 +11,7 @@ namespace Microsoft.Boogie { using System;
using System.Collections;
using System.Diagnostics;
+ using System.Linq;
using System.Collections.Generic;
using Microsoft.Boogie.AbstractInterpretation;
using System.Diagnostics.Contracts;
|