Reworking after run through with Paolo.

[libguestfs-talks.git] / 2020-frama-c / 2400-range-is-empty.html

diff --git a/2020-frama-c/4000-range-is-empty-again.html b/2020-frama-c/2400-range-is-empty.html
similarity index 95%
rename from 2020-frama-c/4000-range-is-empty-again.html
rename to 2020-frama-c/2400-range-is-empty.html
index 74e52f8..5e60486 100644 (file)
--- a/2020-frama-c/4000-range-is-empty-again.html
+++ b/2020-frama-c/2400-range-is-empty.html
@@ -2,7 +2,7 @@
 <link rel="stylesheet" href="style.css" type="text/css"/>
 <script src="code.js" type="text/javascript"></script>
 
-<h1>Back to range_is_empty()</h1>
+<h1>range_is_empty()</h1>
 
 <pre class="code">
   <span class="comment">/*@