diff options
author | wuestholz <unknown> | 2013-07-21 14:55:29 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-07-21 14:55:29 -0700 |
commit | ba44ef189a6f921e1fb54410653623c1e19a085a (patch) | |
tree | 324a24a1d946bf22b1b803b88af79ac172075116 /Source/DafnyExtension/DafnyExtension.csproj | |
parent | 832510796b7feb7f48cad8011aa688b2639668fa (diff) |
DafnyExtension: Worked on improving the error selection and visualization.
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
-rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index e5a679fd..a46feec3 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -191,7 +191,6 @@ <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" />
|