[project @ 2003-09-16 13:06:21 by simonmar]

-funfold-casms-in-hi-file is no more.

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 3f1f1b0..35fe7ce 100644 (file)
--- 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>