X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fprofiling.xml;h=00bbcdb8d4404e01c5b535be71cbf9e36cc26f37;hb=a0f6d307b097bd788e181434a4d9b7fdd56a6c6b;hp=fe835afc9b2bfd75e25b9de4cd8adce4565f8019;hpb=7be227dcf505a16b1b63a9fe3cbea87127b70b52;p=ghc-hetmet.git

diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml
index fe835af..00bbcdb 100644
--- a/docs/users_guide/profiling.xml
+++ b/docs/users_guide/profiling.xml
@@ -1784,7 +1784,6 @@ Total bytes copied during GC: 190096
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->