From c87d3accb58f521a2420c1bfa26871c56074dc17 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 16 Sep 2003 13:06:21 +0000
Subject: [PATCH] [project @ 2003-09-16 13:06:21 by simonmar]
 -funfold-casms-in-hi-file is no more.

---
 ghc/docs/users_guide/flags.sgml |    6 ------
 1 file changed, 6 deletions(-)

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 3f1f1b0..35fe7ce 100644
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -1657,12 +1657,6 @@
 	  </thead>
 	  <tbody>
 	    <row>
-	      <entry><option>-funfold-casms-in-hi-file</option></entry>
-	      <entry>Allow casms in unfoldings</entry>
-	      <entry>static</entry>
-	      <entry>-</entry>
-	    </row>
-	    <row>
 	      <entry><option>-femit-extern-decls</option></entry>
 	      <entry>???</entry>
 	      <entry>static</entry>
-- 
1.7.10.4