Print toplevel comments with Doxygen syntax

FStarLang · Oct 13, 2022 · 75708d5 · 75708d5
1 parent d08eab2
commit 75708d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/PrintC.ml b/src/PrintC.ml
@@ -405,7 +405,7 @@ and p_stmt (s: stmt) =
 and p_stmts stmts = separate_map hardline p_stmt stmts
 
 let p_comments cs =
-  separate_map hardline (fun c -> string ("/*\n" ^ c ^ "\n*/")) cs ^^
+  separate_map hardline (fun c -> string ("/**\n" ^ c ^ "\n*/")) cs ^^
   if List.length cs > 0 then hardline else empty
 
 let p_microsoft_comments cs =