diff --git a/src/plugins/e-acsl/.gitattributes b/src/plugins/e-acsl/.gitattributes
index cba39b38c44fcb138a003b83312635f2214d0a4b..e69c6c626ef5aa224cf2bee26a2ab4c594e63cd0 100644
--- a/src/plugins/e-acsl/.gitattributes
+++ b/src/plugins/e-acsl/.gitattributes
@@ -27,8 +27,8 @@ Makefile.in header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 # CHECK-INDENT                            #
 ###########################################
 
-/tests/*/*.c check-clang-format
-/share/**/*.c check-clang-format
+/tests/*/*.c check-syntax check-clang-format
+/share/**/*.c check-syntax check-clang-format
 
 ########################
 # HEADER_SPEC: .ignore #