From: Richard W.M. Jones <rjones@redhat.com>
Date: Mon, 16 Nov 2020 10:56:10 +0000 (+0000)
Subject: test_strlen -> strlen
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=b56fbe62b0f248ff66b82252b01da93f9292a03f;p=libguestfs-talks.git

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
--- 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;