--- a/src/HOLCF/ex/Powerdomain_ex.thy Tue Oct 05 17:53:00 2010 -0700
+++ b/src/HOLCF/ex/Powerdomain_ex.thy Wed Oct 06 10:49:27 2010 -0700
@@ -8,7 +8,7 @@
imports HOLCF
begin
-default_sort bifinite
+default_sort sfp
subsection {* Monadic sorting example *}