From 56f18979612331507bd2d66a46ecde273c5830a9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Tue, 25 Aug 2020 18:13:18 +0200 Subject: [PATCH] manual: markdown fix --- man/manual.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/man/manual.md b/man/manual.md index 443d82cbc..e67b2e511 100644 --- a/man/manual.md +++ b/man/manual.md @@ -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)".