src/Pure/Isar/theory_target.ML

--- a/src/Pure/Isar/theory_target.ML	Sun Mar 08 17:19:15 2009 +0100
+++ b/src/Pure/Isar/theory_target.ML	Sun Mar 08 17:26:14 2009 +0100
@@ -329,7 +329,7 @@
 
 fun init_lthy (ta as Target {target, instantiation, overloading, ...}) =
   Data.put ta #>
-  LocalTheory.init (NameSpace.base_name target)
+  LocalTheory.init (Long_Name.base_name target)
    {pretty = pretty ta,
     abbrev = abbrev ta,
     define = define ta,