diff options
| author |  tabarbe <unknown> | 2010-08-02 22:12:23 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-02 22:12:23 +0000 |
| commit | 06556b41398af34e04c9fcbec14e19973895ca30 (patch) | |
| tree | a02bc82263c2172e54c3209790cf86cd0d6504e7 /Util/Code Snippets/contractensuresvalret.snippet | |
| parent | 95769d85da74b3eb44d239fdc8c3705250bc027c (diff) | |
Code Snippets: Corrected an annoyance in one of the snippets
Diffstat (limited to 'Util/Code Snippets/contractensuresvalret.snippet')
| -rw-r--r-- | Util/Code Snippets/contractensuresvalret.snippet | 2 |
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 |