diff --git a/README.md b/README.md index 3303a49..79052f8 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ Allez, tous à vos pieuvres ! *L'équipe de Pieuvre™ n'est pas responsable des dommages occasionnés par les réalisations philosophiques causées aux utilisateur·ices de par l'utilisation du programme* # Utilisation -`Pieuvre` génère automatiquement un fichier `log.8pus` contenant la preuve venant d'être faite. +`Pieuvre` génère automatiquement un fichier `log.8pus` contenant la preuve venant d'être faite. Attention, le fichier `log.8pus` ne doit jamais être donné en entrée de pieuvre ! ## Option `typecheck` L'option `typecheck` peut être testée avec les fichiers tests dans `tests/typecheck`. Pour cela, utiliser les commandes :