--- a/src/HOLCF/CompactBasis.thy Wed Nov 10 09:59:08 2010 -0800
+++ b/src/HOLCF/CompactBasis.thy Wed Nov 10 11:42:35 2010 -0800
@@ -8,7 +8,7 @@
imports Bifinite
begin
-default_sort bifinite
+default_sort "domain"
subsection {* A compact basis for powerdomains *}