Fixed line-endings.

10 files changed, 311 insertions, 311 deletions

diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnonnull.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnonnull.snippet
index ab85b71..f061cea 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnonnull.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnonnull.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <SnippetTypes>

-        <SnippetType>Expansion</SnippetType>

-      </SnippetTypes>

-      <Title>Contract.Invariant</Title>

-      <Shortcut>cin</Shortcut>

-      <Description>Emits a 'Contract.Invariant' non-null clause</Description>

-      <Author>Jonathan de Halleux</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>expression</ID>

-          <ToolTip>the non-null expression</ToolTip>

-          <Default>m_X</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant($expression$ != null);$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Invariant</Title>
+      <Shortcut>cin</Shortcut>
+      <Description>Emits a 'Contract.Invariant' non-null clause</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>expression</ID>
+          <ToolTip>the non-null expression</ToolTip>
+          <Default>m_X</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant($expression$ != null);$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnotisnullorempty.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnotisnullorempty.snippet
index 69fadd8..d91b35c 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnotisnullorempty.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnotisnullorempty.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <SnippetTypes>

-        <SnippetType>Expansion</SnippetType>

-      </SnippetTypes>

-      <Title>Contract.Invariant</Title>

-      <Shortcut>cisn</Shortcut>

-      <Description>Emits a 'Contract.Invariant' not String.IsNullOrEmpty clause</Description>

-      <Author>Jonathan de Halleux</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>expression</ID>

-          <ToolTip>expression that is not null or empty</ToolTip>

-          <Default>m_X</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant(!String.IsNullOrEmpty($expression$));$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Invariant</Title>
+      <Shortcut>cisn</Shortcut>
+      <Description>Emits a 'Contract.Invariant' not String.IsNullOrEmpty clause</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>expression</ID>
+          <ToolTip>expression that is not null or empty</ToolTip>
+          <Default>m_X</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant(!String.IsNullOrEmpty($expression$));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractold.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractold.snippet
index ce84564..7cbbfb4 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractold.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractold.snippet
@@ -1,28 +1,28 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <Title>Contract.OldValue</Title>

-      <Shortcut>co</Shortcut>

-      <Description>Emits a 'Contract.OldValue' expression</Description>

-      <Author>Manuel Fahndrich</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>expression</ID>

-          <ToolTip>old expression</ToolTip>

-          <Default>x</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="any"><![CDATA[Contract.OldValue($expression$)$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <Title>Contract.OldValue</Title>
+      <Shortcut>co</Shortcut>
+      <Description>Emits a 'Contract.OldValue' expression</Description>
+      <Author>Manuel Fahndrich</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>expression</ID>
+          <ToolTip>old expression</ToolTip>
+          <Default>x</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="any"><![CDATA[Contract.OldValue($expression$)$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequires.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequires.snippet
index 774810f..770fbc7 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequires.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequires.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <SnippetTypes>

-        <SnippetType>Expansion</SnippetType>

-      </SnippetTypes>

-      <Title>Contract.Requires</Title>

-      <Shortcut>cr</Shortcut>

-      <Description>Emits a 'Contract.Requires' clause</Description>

-      <Author>Jonathan de Halleux</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>condition</ID>

-          <ToolTip>precondition expression</ToolTip>

-          <Default>false</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires($condition$);$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Requires</Title>
+      <Shortcut>cr</Shortcut>
+      <Description>Emits a 'Contract.Requires' clause</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>condition</ID>
+          <ToolTip>precondition expression</ToolTip>
+          <Default>false</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires($condition$);$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalways.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalways.snippet
index b97916c..eb082d1 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalways.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalways.snippet
@@ -1,38 +1,38 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <SnippetTypes>

-        <SnippetType>Expansion</SnippetType>

-      </SnippetTypes>

-      <Title>Contract.Requires&lt;E&gt;</Title>

-      <Shortcut>cre</Shortcut>

-      <Description>Emits a 'Contract.Requires&lt;Exc&gt;' clause</Description>

-      <Author>Jonathan de Halleux</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>exception</ID>

-          <ToolTip>Exception type</ToolTip>

-          <Default>ArgumentException</Default>

-          <Function>

-          </Function>

-        </Object>

-        <Object Editable="true">

-          <ID>condition</ID>

-          <ToolTip>precondition expression</ToolTip>

-          <Default>false</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<$exception$>($condition$);$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Requires&lt;E&gt;</Title>
+      <Shortcut>cre</Shortcut>
+      <Description>Emits a 'Contract.Requires&lt;Exc&gt;' clause</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>exception</ID>
+          <ToolTip>Exception type</ToolTip>
+          <Default>ArgumentException</Default>
+          <Function>
+          </Function>
+        </Object>
+        <Object Editable="true">
+          <ID>condition</ID>
+          <ToolTip>precondition expression</ToolTip>
+          <Default>false</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<$exception$>($condition$);$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotisnullorempty.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotisnullorempty.snippet
index d8e72e8..44f1bf6 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotisnullorempty.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotisnullorempty.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <SnippetTypes>

-        <SnippetType>Expansion</SnippetType>

-      </SnippetTypes>

-      <Title>Contract.Requires&lt;ArgumentException&gt;(!String.IsNullOrEmpty(..))</Title>

-      <Shortcut>cresn</Shortcut>

-      <Description>Emits a 'requires with exception' not IsNullOrEmpty</Description>

-      <Author>Jonathan de Halleux</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>variable</ID>

-          <ToolTip>argument name</ToolTip>

-          <Default>arg</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentException>(!String.IsNullOrEmpty($variable$));$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Requires&lt;ArgumentException&gt;(!String.IsNullOrEmpty(..))</Title>
+      <Shortcut>cresn</Shortcut>
+      <Description>Emits a 'requires with exception' not IsNullOrEmpty</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>variable</ID>
+          <ToolTip>argument name</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentException>(!String.IsNullOrEmpty($variable$));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotnull.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotnull.snippet
index 4d56d1f..2f1ca2a 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotnull.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotnull.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <SnippetTypes>

-        <SnippetType>Expansion</SnippetType>

-      </SnippetTypes>

-      <Title>Contract.Requires&lt;ArgumentNullException&gt;(.. != null)</Title>

-      <Shortcut>cren</Shortcut>

-      <Description>Emits a 'requires with exception' not null clause</Description>

-      <Author>Jonathan de Halleux</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>variable</ID>

-          <ToolTip>variable name</ToolTip>

-          <Default>arg</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentNullException>($variable$ != null, "$variable$");$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Requires&lt;ArgumentNullException&gt;(.. != null)</Title>
+      <Shortcut>cren</Shortcut>
+      <Description>Emits a 'requires with exception' not null clause</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>variable</ID>
+          <ToolTip>variable name</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentNullException>($variable$ != null, "$variable$");$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotisnullorempty.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotisnullorempty.snippet
index 56bb8a8..d6df838 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotisnullorempty.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotisnullorempty.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <SnippetTypes>

-        <SnippetType>Expansion</SnippetType>

-      </SnippetTypes>

-      <Title>Contract.Requires(!String.IsNullOrEmpty(..))</Title>

-      <Shortcut>crsn</Shortcut>

-      <Description>Emits a 'requires' not IsNullOrEmpty</Description>

-      <Author>Jonathan de Halleux</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>variable</ID>

-          <ToolTip>argument name</ToolTip>

-          <Default>arg</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires(!String.IsNullOrEmpty($variable$));$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Requires(!String.IsNullOrEmpty(..))</Title>
+      <Shortcut>crsn</Shortcut>
+      <Description>Emits a 'requires' not IsNullOrEmpty</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>variable</ID>
+          <ToolTip>argument name</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires(!String.IsNullOrEmpty($variable$));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotnull.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotnull.snippet
index 69d696e..e0607cc 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotnull.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotnull.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <SnippetTypes>

-        <SnippetType>Expansion</SnippetType>

-      </SnippetTypes>

-      <Title>Contract.Requires(.. != null)</Title>

-      <Shortcut>crn</Shortcut>

-      <Description>Emits a 'requires' not null clause</Description>

-      <Author>Jonathan de Halleux</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>variable</ID>

-          <ToolTip>variable name</ToolTip>

-          <Default>arg</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires($variable$ != null);$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Requires(.. != null)</Title>
+      <Shortcut>crn</Shortcut>
+      <Description>Emits a 'requires' not null clause</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>variable</ID>
+          <ToolTip>variable name</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires($variable$ != null);$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractresult.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractresult.snippet
index 1ad483b..3e3f4f2 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractresult.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractresult.snippet
@@ -1,28 +1,28 @@
-<?xml version="1.0" encoding="utf-8"?>

-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">

-  <CodeSnippet Format="1.0.0">

-    <Header>

-      <Title>Contract.Result</Title>

-      <Shortcut>crr</Shortcut>

-      <Description>Emits a 'Contract.Result' expression</Description>

-      <Author>Manuel Fahndrich</Author>

-    </Header>

-    <Snippet>

-      <Imports>

-        <Import>

-          <Namespace>System.Diagnostics.Contracts</Namespace>

-        </Import>

-      </Imports>

-      <Declarations>

-        <Object Editable="true">

-          <ID>type</ID>

-          <ToolTip>method return type</ToolTip>

-          <Default>int</Default>

-          <Function>

-          </Function>

-        </Object>

-      </Declarations>

-      <Code Language="CSharp" Kind="any"><![CDATA[Contract.Result<$type$>()$end$]]></Code>

-    </Snippet>

-  </CodeSnippet>

-</CodeSnippets>

+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <Title>Contract.Result</Title>
+      <Shortcut>crr</Shortcut>
+      <Description>Emits a 'Contract.Result' expression</Description>
+      <Author>Manuel Fahndrich</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>type</ID>
+          <ToolTip>method return type</ToolTip>
+          <Default>int</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="any"><![CDATA[Contract.Result<$type$>()$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>