diff options
author | 2010-11-01 21:56:14 +0000 | |
---|---|---|
committer | 2010-11-01 21:56:14 +0000 | |
commit | 31f5a7c20e25225e4b9dca95e60e955402f64df6 (patch) | |
tree | a8b2a54790d1e1900ed0a7ea8d00bd6faa7ce31f /Source/ModelViewer/Main.cs | |
parent | 1219dc1f931e17918d3a1bfe580149b21493a0c4 (diff) |
Dafny: a partial first crack at a Dafny model-viewer provider, including captureState mark-ups in the Boogie code generated from Dafny
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 609bf571..dbb91390 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -24,6 +24,7 @@ namespace Microsoft.Boogie.ModelViewer IEnumerable<ILanguageProvider> Providers()
{
yield return Vcc.Provider.Instance;
+ yield return Dafny.Provider.Instance;
yield return Base.Provider.Instance;
}
|