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/ErrorModelTagger.cs | |
parent | 05179a532c845a1b676a2dad448bd897f0b387af (diff) |
DafnyExtension: Make it possible to enable and disable BVD.
Diffstat (limited to 'Source/DafnyExtension/ErrorModelTagger.cs')
-rw-r--r-- | Source/DafnyExtension/ErrorModelTagger.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyExtension/ErrorModelTagger.cs b/Source/DafnyExtension/ErrorModelTagger.cs index 21dcf1b0..781814b2 100644 --- a/Source/DafnyExtension/ErrorModelTagger.cs +++ b/Source/DafnyExtension/ErrorModelTagger.cs @@ -195,7 +195,7 @@ namespace DafnyLanguage esrtag.Error.SelectedStateId = esrtag.Id;
if (!string.IsNullOrEmpty(esrtag.Error.Model))
{
- DafnyClassifier.DafnyMenuPackage.ShowErrorModel(esrtag.Error.Model, esrtag.Id);
+ DafnyClassifier.DafnyMenuPackage.ShowErrorModelInBVD(esrtag.Error.Model, esrtag.Id);
}
}
});
|