Also display the pid on backtraces

[simgrid.git] / doc / module-gras.doc

diff --git a/doc/module-gras.doc b/doc/module-gras.doc
index 05a6fe3..2bf717e 100644 (file)
--- a/doc/module-gras.doc
+++ b/doc/module-gras.doc
@@ -53,7 +53,7 @@
        - \ref GRAS_ex_mmrpc
        - \ref GRAS_ex_timer
 
-    @{Â */
+    @{ */
        /** @defgroup GRAS_comm    Communication facilities */
        /** @defgroup GRAS_run     Virtualization */
        /** @defgroup GRAS_code    Project and code management */