From 79df928cfc14bde1ae13ce9c10bb2d8362bab1ec Mon Sep 17 00:00:00 2001
From: Julian Benda <julian.benda@ovgu.de>
Date: Fri, 15 Dec 2023 09:06:17 +0100
Subject: [PATCH] remove specifit identifier

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f2f27c50..c56f5b6f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -186,7 +186,7 @@ jobs:
           git fetch origin master --depth 1
       - name: Check clang-format
         run: |
-          diff=$(git clang-format-16 --style file --diff origin/master)
+          diff=$(git clang-format --style file --diff origin/master)
           if [ "$diff" != "" ]; then
             exit 1
           fi