src/Pure/ProofGeneral/proof_general_emacs.ML

--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Aug 07 19:52:14 2010 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Aug 07 21:03:06 2010 +0200
@@ -33,7 +33,7 @@
 
 fun render_trees ts = fold render_tree ts
 and render_tree (XML.Text s) = Buffer.add s
-  | render_tree (XML.Elem (name, props, ts)) =
+  | render_tree (XML.Elem ((name, props), ts)) =
       let
         val (bg1, en1) =
           if name <> Markup.promptN andalso print_mode_active test_markupN