diff --git a/src/api/z3_ast_containers.h b/src/api/z3_ast_containers.h
index 027976c07..c423a3286 100644
--- a/src/api/z3_ast_containers.h
+++ b/src/api/z3_ast_containers.h
@@ -197,4 +197,4 @@ extern "C" {
 }
 #endif // __cplusplus
 
-#endif
\ No newline at end of file
+#endif