--- a/src/HOLCF/Tools/repdef.ML	Wed Nov 10 18:45:48 2010 -0800
+++ b/src/HOLCF/Tools/repdef.ML	Fri Nov 12 06:05:26 2010 -0800
@@ -88,7 +88,7 @@
       (thy: theory)
     : (Typedef.info * Pcpodef.cpo_info * Pcpodef.pcpo_info * rep_info) * theory =
   let
-    val _ = Theory.requires thy "Representable" "repdefs";
+    val _ = Theory.requires thy "Domain" "repdefs";
 
     (*rhs*)
     val tmp_ctxt =