From 3f140a80a123e047432b4e16e8be76bce92d3602 Mon Sep 17 00:00:00 2001
From: chak <unknown>
Date: Fri, 23 Feb 2001 01:28:12 +0000
Subject: [PATCH] [project @ 2001-02-23 01:28:12 by chak] Added description
 for -fno-method-sharing.

Shouldn't that flag be under the heading `Individual optimisations'?
---
 ghc/docs/users_guide/flags.sgml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index c662ebe..4e9d9a5 100644
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -1536,7 +1536,7 @@
 	    </row>
 	    <row>
 	      <entry><option>-fno-method-sharing</option></entry>
-	      <entry>???</entry>
+	      <entry>Don't share specialisations of overloaded functions</entry>
 	      <entry>static</entry>
 	      <entry>-</entry>
 	    </row>
-- 
1.7.10.4