Update program-analysis/echidna/configuration.md

Co-authored-by: Emilio López <[email protected]>
crytic · Jun 3, 2024 · c6e8652 · c6e8652
1 parent 6c3b204
commit c6e8652
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.