From 3443baf51918f2995029aa777c56b4d0fa97d854 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Armin=20M=C3=BCller?=
 <27155134+arm-in@users.noreply.github.com>
Date: Mon, 15 Jun 2020 18:58:20 +0200
Subject: [PATCH] Update manual.md

---
 man/manual.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/man/manual.md b/man/manual.md
index 478d7ec0bca..97e7f3814d1 100644
--- a/man/manual.md
+++ b/man/manual.md
@@ -872,7 +872,7 @@ There are two ways:
 
 ## Incomplete analysis
 
-The data flow analysis can analyze simple functions completely but complex functions are not analyzed completely (yet). The data flow analysis will be continously improved in the future but it will never be perfect.
+The data flow analysis can analyze simple functions completely but complex functions are not analyzed completely (yet). The data flow analysis will be continuously improved in the future but it will never be perfect.
 
 It is likely that you will get false alarms caused by incomplete data flow analysis. Unfortunately it is unlikely that such false alarms can be fixed by contracts.