From ad0830622ef89c2251fe3c63f73d3eceaca6cba4 Mon Sep 17 00:00:00 2001 From: Daniel Fischer Date: Mon, 30 May 2011 09:34:34 +0200 Subject: [PATCH] Fix typos in runtime_control.xml --- docs/users_guide/runtime_control.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml index dbdebe8..defae22 100644 --- a/docs/users_guide/runtime_control.xml +++ b/docs/users_guide/runtime_control.xml @@ -1012,12 +1012,12 @@ char *ghc_rts_opts = "-H128m -K1m"; - How many page faults occured this garbage collection. + How many page faults occurred this garbage collection. - How many page faults occured since the end of the last garbage + How many page faults occurred since the end of the last garbage collection. @@ -1209,7 +1209,7 @@ char *ghc_rts_opts = "-H128m -K1m"; - An RTS debugging flag; only availble if the program was + An RTS debugging flag; only available if the program was linked with the option. Various values of x are provided to enable debug messages and additional runtime sanity checks -- 1.7.10.4