From 2de70d29a7e65b0802587a4c2931d6c830f5cb18 Mon Sep 17 00:00:00 2001 From: Adrien Vannson Date: Wed, 18 May 2022 11:23:20 +0200 Subject: [PATCH] README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 :