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