diff --git a/src/plugins/e-acsl/tests/builtin/strcat.c b/src/plugins/e-acsl/tests/builtin/strcat.c
index 711436b665ce7c715d0b6db6343a0805baab1737..1e9c506bcc3a393d79f8112fe2b0abc559b44031 100644
--- a/src/plugins/e-acsl/tests/builtin/strcat.c
+++ b/src/plugins/e-acsl/tests/builtin/strcat.c
@@ -66,7 +66,7 @@ int main(int argc, const char **argv) {
     /* strcat */
     OK(strcat(dest1, const_str)); // enough space in dest [ok]
     // enough space in dest (concat with empty) [ok]:
-    OK(strcat(dest3, empty_str)); 
+    OK(strcat(dest3, empty_str));
     ABRT(strcat(dest2, const_str));       // insufficient space in dest [abort]
     ABRT(strcat(unalloc_str, const_str)); // unallocated in dest [abort]
     ABRT(strcat(dest2, unalloc_str));     // unallocated in src [abort]