From 8e3dd3c9bc269f7d6a12c361ca17ddea72b9d760 Mon Sep 17 00:00:00 2001 From: rrt <unknown> Date: Thu, 20 Jul 2000 12:33:09 +0000 Subject: [PATCH] [project @ 2000-07-20 12:33:09 by rrt] 4.07->4.08 --- ghc/docs/users_guide/profiling.sgml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/docs/users_guide/profiling.sgml b/ghc/docs/users_guide/profiling.sgml index 0069d7ab7494..a2c0b4b8f588 100644 --- a/ghc/docs/users_guide/profiling.sgml +++ b/ghc/docs/users_guide/profiling.sgml @@ -365,7 +365,7 @@ x = nfib 25 <para>You can view the time and allocation profiling graph of your program graphically, using <command>ghcprof</command>. This is a - new tool with GHC 4.07, and will eventually be the de-facto + new tool with GHC 4.08, and will eventually be the de-facto standard way of viewing GHC profiles.</para> <para>To run <command>ghcprof</command>, you need -- GitLab