From 1f551f19f5ca16761d664b58d507d7776a7efaa1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 5 Sep 2017 16:37:07 -0700
Subject: [PATCH] remove extra token

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

diff --git a/src/ast/datatype_decl_plugin2.h b/src/ast/datatype_decl_plugin2.h
index f076bb43f..d9bfea4a5 100644
--- a/src/ast/datatype_decl_plugin2.h
+++ b/src/ast/datatype_decl_plugin2.h
@@ -429,4 +429,4 @@ inline void del_datatype_decls(unsigned num, datatype_decl * const * ds) {}
 
 #endif /* DATATYPE_DECL_PLUGIN_H_ */
 
-#endif DATATYPE_V2
+#endif /* DATATYPE_V2 */