diff options
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/Outlining.cs')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/Outlining.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/Outlining.cs b/Util/VS2010/DafnyExtension/DafnyExtension/Outlining.cs index 3fbcb054..3e64e43d 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/Outlining.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/Outlining.cs @@ -12,6 +12,7 @@ using Microsoft.VisualStudio.Text; namespace DafnyLanguage
{
+#if THIS_IS_THE_PAST
[Export(typeof(ITaggerProvider))]
[ContentType("dafny")]
[TagType(typeof(IOutliningRegionTag))]
@@ -217,4 +218,5 @@ namespace DafnyLanguage NormalizedSnapshotSpanCollection.Difference(second, first));
}
}
+#endif
}
|