--- a/src/HOL/HOLCF/Tools/Domain/domain.ML Sun Dec 19 18:11:20 2010 -0800
+++ b/src/HOL/HOLCF/Tools/Domain/domain.ML Sun Dec 19 18:15:21 2010 -0800
@@ -28,7 +28,7 @@
-> theory -> theory
end
-structure Domain :> DOMAIN =
+structure Domain : DOMAIN =
struct
open HOLCF_Library