diff options
author | wuestholz <unknown> | 2013-07-23 21:00:37 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-07-23 21:00:37 -0700 |
commit | d3c2801fd211c69c61fcc85e3c3f1a18c3d0f187 (patch) | |
tree | 1a1027c484289cf51660c41beea9dc1432edb420 /Source/Core/DeadVarElim.cs | |
parent | 99737bee84e43094394d8827bf5fd50dd1304aec (diff) |
Removed the remaining pure collections.
Diffstat (limited to 'Source/Core/DeadVarElim.cs')
-rw-r--r-- | Source/Core/DeadVarElim.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Core/DeadVarElim.cs b/Source/Core/DeadVarElim.cs index 356ff272..9d20c15e 100644 --- a/Source/Core/DeadVarElim.cs +++ b/Source/Core/DeadVarElim.cs @@ -1,7 +1,6 @@ using System;
using System.Collections.Generic;
using Microsoft.Boogie.GraphUtil;
-using PureCollections;
using System.Diagnostics.Contracts;
|