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/TypeErasurePremisses.cs | |
parent | 05f3db34fad65243cbfc077bea7247ed5594bbb9 (diff) |
More refactoring
Diffstat (limited to 'Source/VCExpr/TypeErasurePremisses.cs')
-rw-r--r-- | Source/VCExpr/TypeErasurePremisses.cs | 1 |
1 files changed, 1 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;
|