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