diff options
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
|