diff options
| author |  Stephan Tobies <stephan.tobies@microsoft.com> | 2011-04-05 09:46:12 +0200 |
|---|---|---|
| committer | Stephan Tobies <stephan.tobies@microsoft.com> | 2011-04-05 09:46:12 +0200 |
| commit | 9303b391ac66115b0245da68f4cd406e0c21e0b5 (patch) | |
| tree | fc4b738c0515b63f90f65dc3bbc61e73875e3163 /Source/ModelViewer/Main.cs | |
| parent | fbb1ee30ae5b6e2335eb7af7ebb9a83b7c696289 (diff) | |
Removing unused field (and testing mecurial checkins)
Diffstat (limited to 'Source/ModelViewer/Main.cs')
| -rw-r--r-- | Source/ModelViewer/Main.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index 68027609..1c7286e7 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -15,7 +15,6 @@ namespace Microsoft.Boogie.ModelViewer {
public partial class Main : Form
{
- string SearchText;
SkeletonItem unfoldingRoot;
SkeletonItem[] allItems;
int currentState, previousState = -1;
|