1 files changed, 0 insertions, 18 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs
deleted file mode 100644
index d8487f74..00000000
--- a/Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs
+++ /dev/null
@@ -1,18 +0,0 @@
-using System.ComponentModel.Composition;
-using Microsoft.VisualStudio.Utilities;
-
-namespace DafnyLanguage
-{
-  class DafnyContentType
-  {
-    [Export]
-    [Name("dafny")]
-    [BaseDefinition("code")]
-    internal static ContentTypeDefinition ContentType = null;
-
-    [Export]
-    [FileExtension(".dfy")]
-    [ContentType("dafny")]
-    internal static FileExtensionToContentTypeDefinition FileType = null;
-  }
-}