manual: markdown fix

This commit is contained in:
Daniel Marjamäki 2020-08-25 18:13:18 +02:00
parent 3226fd85ee
commit 56f1897961
1 changed files with 2 additions and 2 deletions

View File

@ -966,8 +966,8 @@ 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
- 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.
A dialog box is shown where you can configure the contract for function "foo(x)".