diff --git a/man/manual.md b/man/manual.md index e67b2e511..1a950a353 100644 --- a/man/manual.md +++ b/man/manual.md @@ -966,6 +966,7 @@ If you run bug hunting analysis on this code then because Cppcheck can't prove that x can't be 0 you will get a warning about division by zero. Either: + - Right click on that warning and select "Edit contract..". - Open the "Functions" tab at the bottom and lookup the "foo(x)" function. Then double click on that.