fix grouping error

Z3Prover · Jan 11, 2021 · 396bfa0 · 396bfa0
1 parent 223bffd
commit 396bfa0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/api/z3_api.h b/src/api/z3_api.h
@@ -6820,5 +6820,6 @@ extern "C" {
 }
 #endif // __cplusplus
 
-/*@}*/
+/**
+@}*/