From 25da35d48310c8afd58d30180f613b9300577a36 Mon Sep 17 00:00:00 2001
From: "Alex J. Best" <alex.j.best@gmail.com>
Date: Wed, 3 Jan 2024 14:23:42 +0000
Subject: [PATCH] up

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e4d3c93..ba4ddd1 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,7 @@ Nevertheless at the moment it does at least provide some potentially useful outp
 
 
 ```diff
-$ lake exe leaff Mathlib $(tr ':' ',' <<<"$(eval $(lake --dir ../test-mathlib2/ env) && echo $LEAN_PATH)") $(tr ':' ',' <<<"$(eval $(lake --dir ../test-mathlib/ env) && echo $LEAN_PATH)")
+$ ./runleaff.sh Mathlib ../test-mathlib2/ ../test-mathlib/
 Found differences:
 + added Affine.Simplex.coe_orthogonalProjection_vadd_smul_vsub_orthogonalProjection
 + added Affine.Simplex.dist_sq_eq_dist_orthogonalProjection_sq_add_dist_orthogonalProjection_sq