summaryrefslogtreecommitdiff
path: root/Source/DafnyMenu/GlobalSuppressions.cs
diff options
context:
space:
mode:
Diffstat (limited to 'Source/DafnyMenu/GlobalSuppressions.cs')
-rw-r--r--Source/DafnyMenu/GlobalSuppressions.cs3
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/DafnyMenu/GlobalSuppressions.cs b/Source/DafnyMenu/GlobalSuppressions.cs
index 3689ed23..4b115d31 100644
--- a/Source/DafnyMenu/GlobalSuppressions.cs
+++ b/Source/DafnyMenu/GlobalSuppressions.cs
@@ -1 +1,4 @@
[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Design", "CA1017:MarkAssembliesWithComVisible")]
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1703:ResourceStringsShouldBeSpelledCorrectly", MessageId = "Dafny", Scope = "resource", Target = "VSPackage.resources")]
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1704:IdentifiersShouldBeSpelledCorrectly", MessageId = "Dafny")]
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1704:IdentifiersShouldBeSpelledCorrectly", MessageId = "Dafny", Scope = "type", Target = "DafnyLanguage.DafnyMenu.DafnyMenuPackage")]