src/HOLCF/Tools/domain/domain_library.ML

--- a/src/HOLCF/Tools/domain/domain_library.ML	Wed Apr 29 21:10:46 2009 +0200
+++ b/src/HOLCF/Tools/domain/domain_library.ML	Wed Apr 29 13:36:29 2009 -0700
@@ -151,7 +151,7 @@
   val mk_var_names : string list -> string list;
 end;
 
-structure Domain_Library : DOMAIN_LIBRARY =
+structure Domain_Library :> DOMAIN_LIBRARY =
 struct
 
 exception Impossible of string;