diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-08-05 18:14:33 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-08-05 18:14:33 -0700 |
| commit | c1ffee9e345f79bdd52830ea2f01949fe9e0441e (patch) | |
| tree | ce49531794b388c1407519159254f966c807d757 /Source/ModelViewer/Main.cs | |
| parent | 3f2f6602aaac740808fa88363d782897b6128fd0 (diff) | |
further updates to bctprovider
Diffstat (limited to 'Source/ModelViewer/Main.cs')
| -rw-r--r-- | Source/ModelViewer/Main.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index bb6d8c11..afe0593c 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -33,6 +33,7 @@ namespace Microsoft.Boogie.ModelViewer // TODO this should be dynamically loaded
IEnumerable<ILanguageProvider> Providers()
{
+ yield return BCT.Provider.Instance;
yield return Vcc.Provider.Instance;
yield return Dafny.Provider.Instance;
yield return Base.Provider.Instance;
|