From e5e53c0fc3307c790e24995c06ce98c9af3d114a Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Tue, 5 Sep 2023 15:39:39 +0200
Subject: [PATCH] vault backup: 2023-09-05 15:39:39

---
 Algo/Séminaire/Chapter 3 - Case analysis.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Algo/Séminaire/Chapter 3 - Case analysis.md b/Algo/Séminaire/Chapter 3 - Case analysis.md
index 7c9f6bf..d6dffa6 100644
--- a/Algo/Séminaire/Chapter 3 - Case analysis.md	
+++ b/Algo/Séminaire/Chapter 3 - Case analysis.md	
@@ -13,6 +13,6 @@ if cond then expr1 else expr2
 
 # let abs(x) = 
 	if x>0 then x
-	else then x=x+(-x)+(-x) ;;;
+	else -x ;;;
 
 ```