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/VCExpr | |
| parent | 05f3db34fad65243cbfc077bea7247ed5594bbb9 (diff) | |
More refactoring
Diffstat (limited to 'Source/VCExpr')
| -rw-r--r-- | Source/VCExpr/TypeErasurePremisses.cs | 1 | ||||
| -rw-r--r-- | Source/VCExpr/VCExprASTVisitors.cs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/Source/VCExpr/TypeErasurePremisses.cs b/Source/VCExpr/TypeErasurePremisses.cs index c28d9b4c..d887a70f 100644 --- a/Source/VCExpr/TypeErasurePremisses.cs +++ b/Source/VCExpr/TypeErasurePremisses.cs @@ -8,6 +8,7 @@ using System.Text; using System.IO;
using System.Collections;
using System.Collections.Generic;
+using System.Linq;
using System.Diagnostics.Contracts;
using Microsoft.Basetypes;
using Microsoft.Boogie.VCExprAST;
diff --git a/Source/VCExpr/VCExprASTVisitors.cs b/Source/VCExpr/VCExprASTVisitors.cs index 1dd1cac9..67280bea 100644 --- a/Source/VCExpr/VCExprASTVisitors.cs +++ b/Source/VCExpr/VCExprASTVisitors.cs @@ -9,6 +9,7 @@ using System.IO; using System.Collections;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
+using System.Linq;
using Microsoft.Basetypes;
// Some visitor skeletons for the VCExpression AST
|