From 62d2fa72d5e1816d6cb1239063302808424c6d13 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 19:00:35 +0100
Subject: More refactoring

---
 Source/VCExpr/TypeErasurePremisses.cs | 1 +
 Source/VCExpr/VCExprASTVisitors.cs    | 1 +
 2 files changed, 2 insertions(+)

(limited to 'Source/VCExpr')

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
-- 
cgit v1.2.3