From: Alexander Köplinger Date: Wed, 26 Oct 2016 22:30:23 +0000 (+0200) Subject: Merge pull request #3832 from microMolvi/patch-2 X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=commitdiff_plain;h=90e87c31d059fbcc8b4abb541cfce50e3c49bb08;hp=e3717a6441f290781b5d0079d1f32fada1e1476e;p=mono.git Merge pull request #3832 from microMolvi/patch-2 cccheck.1: fix a typo --- diff --git a/man/cccheck.1 b/man/cccheck.1 index aead19a58d0..3614f4ae4ec 100644 --- a/man/cccheck.1 +++ b/man/cccheck.1 @@ -11,7 +11,7 @@ cccheck \- Perform static code contracts verification for CLR assemblies. .PP .B cccheck --assembly= [options] .SH DESCRIPTION -Perform static code contracts verification to find bugs and inconsistences +Perform static code contracts verification to find bugs and inconsistencies between code and specification. This includes non-null, integer analyses. .PP The assembly must have been built with the symbol CONTRACTS_FULL defined,