From 57e64fd6f532c3e7cb5defebe2765eb603c8d6b4 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sun, 28 May 2017 01:43:27 +0200
Subject: Spello.

---
 controle-20170330.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/controle-20170330.tex b/controle-20170330.tex
index 90fda16..443d25e 100644
--- a/controle-20170330.tex
+++ b/controle-20170330.tex
@@ -477,7 +477,7 @@ On définit ici la variante $H'$ suivante du problème de l'arrêt : $H'$
 est l'ensemble des couples $(e,x)$ formés d'un programme $e$ et d'une
 entrée $x$, tels que l'exécution du programme $e$ sur l'entrée $x$
 termine en temps fini et renvoie la réponse $42$.  Ainsi, on a $H'
-\subseteq H$ (ce fait est destiner à éclaircir la définition de $H'$
+\subseteq H$ (ce fait est destiné à éclaircir la définition de $H'$
 mais n'est pas utile pour la suite).
 
 (1) Montrer que $H'$ est semi-décidable.
-- 
cgit v1.2.3