src/ZF/Tools/datatype_package.ML

--- a/src/ZF/Tools/datatype_package.ML	Sun Mar 08 17:19:15 2009 +0100
+++ b/src/ZF/Tools/datatype_package.ML	Sun Mar 08 17:26:14 2009 +0100
@@ -74,7 +74,7 @@
                    Syntax.string_of_term_global thy t);
 
   val rec_names = map (#1 o dest_Const) rec_hds
-  val rec_base_names = map NameSpace.base_name rec_names
+  val rec_base_names = map Long_Name.base_name rec_names
   val big_rec_base_name = space_implode "_" rec_base_names
 
   val thy_path = thy |> Sign.add_path big_rec_base_name