diff --git a/html/using-frama-c.html b/html/using-frama-c.html index a6c34cefd134efeb8a24fabcc935393f27a9395d..d2ffd420ac06236bcc8dcfe5bad3ad7fa3aa6bf8 100755 --- a/html/using-frama-c.html +++ b/html/using-frama-c.html @@ -29,8 +29,7 @@ css: plugin <p>The C language has been in use for a long time, and numerous programs today make use of C routines. This ubiquity is due to historical reasons, and to the fact that C is well adapted for a significant number of - applications (e.g. embedded code). However, the C language exposes many notoriously awkward constructs. precise - analyses despite the pitfalls of C</p> + applications (e.g. embedded code). However, the C language exposes many notoriously awkward constructs.</p> <p><b>Many Frama-C plug-ins are able to reveal what the analyzed C code actually does. Equipped with Frama-C, you can:</b></p>