summaryrefslogtreecommitdiff
path: root/Util/Code Snippets
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-08-02 22:12:23 +0000
committerGravatar tabarbe <unknown>2010-08-02 22:12:23 +0000
commit06556b41398af34e04c9fcbec14e19973895ca30 (patch)
treea02bc82263c2172e54c3209790cf86cd0d6504e7 /Util/Code Snippets
parent95769d85da74b3eb44d239fdc8c3705250bc027c (diff)
Code Snippets: Corrected an annoyance in one of the snippets
Diffstat (limited to 'Util/Code Snippets')
-rw-r--r--Util/Code Snippets/contractensuresvalret.snippet2
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/Code Snippets/contractensuresvalret.snippet b/Util/Code Snippets/contractensuresvalret.snippet
index c1e5ef56..b46be4fc 100644
--- a/Util/Code Snippets/contractensuresvalret.snippet
+++ b/Util/Code Snippets/contractensuresvalret.snippet
@@ -25,7 +25,7 @@
</Function>
</Object>
</Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(Contract.ValueAtReturn($value$)!=null);$end$]]></Code>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(Contract.ValueAtReturn(out $value$)!=null);$end$]]></Code>
</Snippet>
</CodeSnippet>
</CodeSnippets> \ No newline at end of file