diff options
Diffstat (limited to 'generic/pg-xml.el')
-rw-r--r-- | generic/pg-xml.el | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/generic/pg-xml.el b/generic/pg-xml.el index 3f9a0f37..46a98b2f 100644 --- a/generic/pg-xml.el +++ b/generic/pg-xml.el @@ -9,18 +9,10 @@ ;; XML functions for Proof General. ;; -(eval-when-compile - (require 'xml-fixed)) ; for compile only +(require 'xml) (require 'proof-utils) ;; for pg-internal-warning -(cond - ;; We want to find a good version of xml.el - ((featurep 'xemacs) - (require 'xml-fixed)) ;; XEmacs: used PG bundled fixed version - (t ;; Otherwise use GNU Emacs distrib version. - (require 'xml))) - (defalias 'pg-xml-error 'error) |