diff options
| author |  wuestholz <unknown> | 2013-06-24 16:55:59 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-24 16:55:59 -0700 |
| commit | 6f8d64477512d93bb127c7cd9b9134840dabe4da (patch) | |
| tree | a787aa6e8e3ec1e5e3bcd847d452ba36a21a0410 /Source/DafnyExtension/ProgressMargin.cs | |
| parent | cef91fe55e0d605ab85a5fccc5f19cbf1e935aca (diff) | |
DafnyExtension: Fixed a memory leak.
Diffstat (limited to 'Source/DafnyExtension/ProgressMargin.cs')
| -rw-r--r-- | Source/DafnyExtension/ProgressMargin.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs index 0e8acc2b..4a5553dc 100644 --- a/Source/DafnyExtension/ProgressMargin.cs +++ b/Source/DafnyExtension/ProgressMargin.cs @@ -135,6 +135,7 @@ namespace DafnyLanguage if (resolver != null)
{
resolver.Dispose();
+ resolver = null;
}
}
|