From 31d7acb99a06ededf09d2ec40dbe6df9b4226751 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Tue, 25 Aug 2020 18:16:14 +0200 Subject: [PATCH] manual: markdown fix --- man/manual.md | 1 + 1 file changed, 1 insertion(+) 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.