1 files changed, 18 insertions, 0 deletions
diff --git a/Source/DafnyExtension/ContentType.cs b/Source/DafnyExtension/ContentType.cs
new file mode 100644
index 00000000..d8487f74
--- /dev/null
+++ b/Source/DafnyExtension/ContentType.cs
@@ -0,0 +1,18 @@
+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;
+  }
+}