X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fprofiling.xml;h=00bbcdb8d4404e01c5b535be71cbf9e36cc26f37;hb=059f2d7be7cc02d093ce51f0bbd68f5e5ebe527d;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: ***
  -->