diff options
Diffstat (limited to 'Util')
| -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 |