diff --git a/share/man/nitc.md b/share/man/nitc.md
index 64d8c530d0..75f349ae71 100644
--- a/share/man/nitc.md
+++ b/share/man/nitc.md
@@ -548,6 +548,9 @@ Option used to disable the contracts(ensures, expects) usage.
 ### `--full-contract`
 Option used to enables contracts (ensures, expects) on all classes. Warning this is an expensive option at runtime.
 
+### `--in-out-invariant`
+Option used to enable `invariant` verification on entry and exit of a method. By default, invariants are only checked on exit. Note, that the contracts are not checked on a `self` call.
+
 # ENVIRONMENT VARIABLES
 
 ### `NIT_DIR`