src/Pure/Isar/named_target.ML

   end;
 
 val theory_init = init I "";
 
 val reinit =
-  assert #> Data.get #> the #>
+  Local_Theory.assert_bottom true #> Data.get #> the #>
   (fn Target {target, before_exit, ...} => Local_Theory.exit_global #> init before_exit target);
 
 fun context_cmd ("-", _) thy = init I "" thy
   | context_cmd target thy = init I (Locale.check thy target) thy;