Slides for 3xxx.

[libguestfs-talks.git] / 2020-frama-c / 2300-range-is-empty.term

diff --git a/2020-frama-c/2300-range-is-empty.term b/2020-frama-c/2300-range-is-empty.term
index 09c6e27..02d88c4 100755 (executable)
--- a/2020-frama-c/2300-range-is-empty.term
+++ b/2020-frama-c/2300-range-is-empty.term
@@ -3,7 +3,7 @@
 source functions
 
 # Title.
-export title="qemu"
+export title="qemu’s range_is_empty()"
 
 # History.
 remember 'cat snippets/range_is_empty.c'