test_strlen -> strlen

diff --git a/2020-frama-c/6200-strlen-1.html b/2020-frama-c/6200-strlen-1.html
index c1e5d08..2eaea22 100644 (file)
--- a/2020-frama-c/6200-strlen-1.html
+++ b/2020-frama-c/6200-strlen-1.html
@@ -6,7 +6,7 @@
 
 <pre class="code">
 size_t
-test_strlen (const char *str)
+strlen (const char *str)
 {
   const char *char_ptr;