fix test

leanprover · Dec 2, 2023 · 17baca2 · 17baca2
1 parent 9f88f42
commit 17baca2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/pkg/test_extern/test.sh b/tests/pkg/test_extern/test.sh
@@ -15,7 +15,7 @@ verify_output() {
     # Normalize path separators from backslashes to forward slashes
     sed 's#\\#/#g' |
     awk '/error: stdout:/, /error: external command/' |
-    sed '/error: external command/d'}
+    sed '/error: external command/d'
 }
 
 lake build 2>&1 | verify_output > produced.txt