diff options
author | wuestholz <unknown> | 2013-07-28 17:59:48 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-07-28 17:59:48 -0700 |
commit | b9ce2ee218e4facd887034422192855aa556eec6 (patch) | |
tree | 3b3d04ec7491134b105c5aa8f54c97701cbd9607 /Source/DafnyExtension/MenuProxy.cs | |
parent | 05179a532c845a1b676a2dad448bd897f0b387af (diff) |
DafnyExtension: Make it possible to enable and disable BVD.
Diffstat (limited to 'Source/DafnyExtension/MenuProxy.cs')
-rw-r--r-- | Source/DafnyExtension/MenuProxy.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyExtension/MenuProxy.cs b/Source/DafnyExtension/MenuProxy.cs index 69bf03d3..fc0c0d1d 100644 --- a/Source/DafnyExtension/MenuProxy.cs +++ b/Source/DafnyExtension/MenuProxy.cs @@ -101,7 +101,7 @@ namespace DafnyLanguage if (selectedError != null)
{
- DafnyMenuPackage.ShowErrorModel(selectedError.Model, selectedError.SelectedStateId);
+ DafnyMenuPackage.ShowErrorModelInBVD(selectedError.Model, selectedError.SelectedStateId);
}
}
}
|