--- a/src/Pure/ProofGeneral/proof_general_pgip.ML Tue May 14 21:02:49 2013 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML Tue May 14 21:40:25 2013 +0200
@@ -51,7 +51,7 @@
fun haspref ({name, descr, default, pgiptype, ...}: Preferences.preference) =
XML.Elem (("haspref", [("name", name), ("descr", descr), ("default", default)]),
- [PgipTypes.pgiptype_to_xml pgiptype]);
+ [XML.Elem ((pgiptype, []), [])]);
fun process_element refid refseq (XML.Elem (("askprefs", _), _)) =
! preferences |> List.app (fn (category, prefs) =>