suprression des warning au build

This commit is contained in:
gwen 2017-05-03 09:26:24 +02:00
parent fd2b6469bf
commit 31835587a6
3 changed files with 4 additions and 5 deletions

View File

@ -189,8 +189,7 @@ Proposition
Prédicats
Définition : Une proposition dont la valeur de vérité dépend de la valeur
dune ou plusieurs variables
Une proposition dont la valeur de vérité dépend de la valeur dune ou plusieurs variables
**Exemple** : ``n est pair`` : vrai pour n = 4 mais faux pour n = 9

View File

@ -151,8 +151,8 @@ Compilateur
-----------
Schématiquement, un compilateur est un programme qui traduit un
programme  dun langage source vers un langage cible, en signalant
déventuelles erreurs
programme dun langage source vers un langage cible, en signalant
déventuelles erreurs.
Quand on parle de compilation, on pense typiquement à la traduction dun
langage de haut niveau (C, Java, Caml, ...) vers le langage machine dun