diff options
author | wuestholz <unknown> | 2013-07-15 18:54:34 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-07-15 18:54:34 -0700 |
commit | 832510796b7feb7f48cad8011aa688b2639668fa (patch) | |
tree | 14f3800d3b5d972fce96f01185f5710167c3041e /Source/DafnyExtension/DafnyExtension.csproj | |
parent | 8b69f963879696d40da0a1b845988e17fe9d29d2 (diff) |
DafnyExtension: Added support for selecting errors and showing the model in BVD.
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
-rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index d76de86d..e5a679fd 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -187,9 +187,11 @@ </ItemGroup>
<ItemGroup>
<Compile Include="BufferIdleEventUtil.cs" />
+ <Compile Include="ErrorModelTagger.cs" />
<Compile Include="GlobalSuppressions.cs" />
<Compile Include="HoverText.cs" />
<Compile Include="IdentifierTagger.cs" />
+ <Compile Include="IntraTextAdornmentTagger.cs" />
<Compile Include="ProgressMargin.cs" />
<Compile Include="OutliningTagger.cs" />
<Compile Include="ResolverTagger.cs" />
|