From 96e2341438eb47ca051b7bf12632c34bc7480be7 Mon Sep 17 00:00:00 2001
From: Simon Christ <SimonChrist@gmx.de>
Date: Fri, 11 Feb 2022 11:41:42 +0100
Subject: [PATCH] better in the error box

---
 .github/workflows/format_check.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/format_check.yml b/.github/workflows/format_check.yml
index 530e6e64..fa627674 100644
--- a/.github/workflows/format_check.yml
+++ b/.github/workflows/format_check.yml
@@ -33,6 +33,5 @@ jobs:
               exit(0)
           else
               @error "These files have not been formatted:\n$out"
-              write(stdout, out)
               exit(1)
           end'