diff --git a/test/c/eacsl/not-yet-supported/gmp/explicit.c b/test/c/eacsl/not-yet-supported/gmp/explicit.c
index 49749ec85..4b7614c21 100644
--- a/test/c/eacsl/not-yet-supported/gmp/explicit.c
+++ b/test/c/eacsl/not-yet-supported/gmp/explicit.c
@@ -12,4 +12,4 @@ int main(void) {
     owi_assert(result);
 
     return 0;
-}
\ No newline at end of file
+}