From 396bfa05f3eaceceef25eb0769d50769f11e3064 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 11 Jan 2021 12:25:53 -0800
Subject: [PATCH] fix grouping error

---
 src/api/z3_api.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index db39b6b5a..b94e7f086 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -6820,5 +6820,6 @@ extern "C" {
 }
 #endif // __cplusplus
 
-/*@}*/
+/**
+@}*/