From b4604a8ec0d8d583924d3017fd12829714a0990f Mon Sep 17 00:00:00 2001
From: Yaelle Vincont <yaelle.vincont@cea.fr>
Date: Thu, 7 Nov 2019 15:20:11 +0100
Subject: [PATCH] [ref/using_frama-c] remove nonsense
---
html/using-frama-c.html | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/html/using-frama-c.html b/html/using-frama-c.html
index a6c34cef..d2ffd420 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>
--
GitLab