From 493d2330e0b21ab52b6ee02ca1a0e448fc15d05c Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 23 Jan 2025 10:49:45 +0100
Subject: Clarify syntax with extra parentheses.

---
 controle-20250129.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'controle-20250129.tex')

diff --git a/controle-20250129.tex b/controle-20250129.tex
index 825e326..474e0c9 100644
--- a/controle-20250129.tex
+++ b/controle-20250129.tex
@@ -383,7 +383,7 @@ Dans cet exercice, on donne un terme de preuve Coq et on demande de retrouver le
 
 \smallskip
 
-\textbf{(1)} \verb|fun H : A => H|
+\textbf{(1)} \verb|fun (H : A) => H|
 
 \smallskip
 
@@ -391,7 +391,7 @@ Dans cet exercice, on donne un terme de preuve Coq et on demande de retrouver le
 
 \smallskip
 
-\textbf{(3)} \verb|fun (H1 : A -> B) (H2 : ~ B) => (fun H3 : A => H2 (H1 H3))|
+\textbf{(3)} \verb|fun (H1 : A -> B) (H2 : ~ B) => (fun (H3 : A) => H2 (H1 H3))|
 
 \begin{corrige}
   \smallskip
-- 
cgit v1.2.3