From cd24535e51263d8447efea9b917977863b97d8e5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 22 Sep 2017 09:54:56 -0500
Subject: [PATCH] add newline

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/z3_ast_containers.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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