Small fixes after run-through.

[libguestfs-talks.git] / 2020-frama-c / 9000-conclusions-1.html

diff --git a/2020-frama-c/9000-conclusions-1.html b/2020-frama-c/9000-conclusions-1.html
index 4426eb0..83767a2 100644 (file)
--- a/2020-frama-c/9000-conclusions-1.html
+++ b/2020-frama-c/9000-conclusions-1.html
@@ -9,7 +9,8 @@
 
 <li> Not as hard to use as I imagined.
 
-<li> Mostly useful for small functions.
+<li> Mostly useful for small functions. <br>
+<big>→</big> For large functions look at constructive proofs in WhyML.
 
 <li> Forces you to think very hard about assumptions and corner cases.