From f2feac488c3dd45b7896f0d57bdab63d29fa0657 Mon Sep 17 00:00:00 2001
From: Dario Pinto <dario.pinto@cea.fr>
Date: Wed, 10 Jun 2020 14:53:39 +0200
Subject: [PATCH] [Eva] Corrected a typo concerning C99 behaviour in Eva Manual

---
 doc/value/main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/value/main.tex b/doc/value/main.tex
index 96d66840582..b4f8274642b 100644
--- a/doc/value/main.tex
+++ b/doc/value/main.tex
@@ -630,7 +630,7 @@ no run-time error could happen when running the program.
 
 The alarm means that \Eva{} could not prove that the value \verb|ks[i]|
 accessed in \verb|skein_block.c:69| was definitely initialized before being
-read. Reading an initialized value is an undefined behavior according to the
+read. Reading an uninitialized value is an undefined behavior according to the
 \isoc{} standard (and can even lead to security vulnerabilities).
 
 As is often the case, this alarm is related to the approximation introduced
-- 
GitLab