src/Pure/Tools/codegen_data.ML

--- a/src/Pure/Tools/codegen_data.ML	Thu Aug 02 23:18:13 2007 +0200
+++ b/src/Pure/Tools/codegen_data.ML	Fri Aug 03 16:28:15 2007 +0200
@@ -100,7 +100,7 @@
   case Susp.peek r
    of SOME thms => (Susp.value o f thy) thms
      | NONE => let
-          val thy_ref = Theory.self_ref thy;
+          val thy_ref = Theory.check_thy thy;
         in lazy_thms (fn () => (f (Theory.deref thy_ref) o Susp.force) r) end;
 
 fun merge' _ ([], []) = (false, [])