From 84de97611173e11cbafe16f2a23afab35c803ee0 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 9 Dec 2022 18:18:11 +0100
Subject: [PATCH] chore: fix `copy-produced` script

---
 tests/lean/copy-produced | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/copy-produced b/tests/lean/copy-produced
index d61ab156f1..89d44a76e4 100755
--- a/tests/lean/copy-produced
+++ b/tests/lean/copy-produced
@@ -3,5 +3,5 @@
 root="$(realpath $(dirname $0))"
 cd ${1:-$PWD}
 for f in $(find . -name '*.expected.out'); do
-    cp ${f/expected/produced} "$root/$f"
+    cp ${f/.expected/.produced} "$root/$f"
 done