From ff9133b80913bc5f8f97514ce772ac38b4b53e2f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 13 Jan 2022 12:12:49 +0000
Subject: [PATCH] [README] fix typo in name of warning category statuses

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 8391230..fd895ae 100644
--- a/README.md
+++ b/README.md
@@ -82,8 +82,8 @@ function defined in `main.c`.
 By default, if a function name does not correspond to a function in the
 program under analysis, Frama-C will be aborted. This can be changed by
 setting the status of warning category `unknown-func` to a suitable value,
-e.g. `-meta-warn-key unknown-func=enable`, to keep a warning when such a
-case occurs, or `-meta-warn-key unknown-func=disable` to silently ignore this
+e.g. `-meta-warn-key unknown-func=active`, to keep a warning when such a
+case occurs, or `-meta-warn-key unknown-func=inactive` to silently ignore this
 fact.
 
 Note that if you disable the warning in order to use the same meta-properties on
-- 
GitLab