From b56fbe62b0f248ff66b82252b01da93f9292a03f Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Mon, 16 Nov 2020 10:56:10 +0000
Subject: [PATCH] test_strlen -> strlen

---
 2020-frama-c/6200-strlen-1.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/2020-frama-c/6200-strlen-1.html b/2020-frama-c/6200-strlen-1.html
index c1e5d08..2eaea22 100644
--- 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;
 
-- 
1.8.3.1