From c6e86528724c7da87bcd1373970497685d3f4763 Mon Sep 17 00:00:00 2001
From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>
Date: Mon, 3 Jun 2024 14:12:38 +0200
Subject: [PATCH] Update program-analysis/echidna/configuration.md
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com>
---
 program-analysis/echidna/configuration.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/program-analysis/echidna/configuration.md b/program-analysis/echidna/configuration.md
index ec58f7af..859b2e23 100644
--- a/program-analysis/echidna/configuration.md
+++ b/program-analysis/echidna/configuration.md
@@ -420,7 +420,7 @@ Number of times we may revisit a particular branching point before we consult
 the smt solver to check reachability. Only relevant if `symExec` is true and
 `symExecConcolic` is false.
 
-## Experimental or deprecated options
+## Experimental options
 
 There are some options in Echidna that are meant for advanced debugging and
 experimenting. Those are listed below.