add newline

OCamlPro · Jul 24, 2024 · bf935b1 · bf935b1
1 parent b6bfb5e
commit bf935b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
-}
+}