# HG changeset patch
# User wenzelm
# Date 939032534 -7200
# Node ID 3383b8223e466d824f4fecc2b4bf9835569c0b02
# Parent  4731f10af2e60d66644559ce94aad731fd6e523e
fixed lookup_theory;

diff -r 4731f10af2e6 -r 3383b8223e46 src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Mon Oct 04 10:19:18 1999 +0200
+++ b/src/Pure/Thy/thy_info.ML	Mon Oct 04 12:22:14 1999 +0200
@@ -152,7 +152,10 @@
 
 (* access theory *)
 
-fun lookup_theory name = #2 (get_thy name);
+fun lookup_theory name =
+  (case lookup_thy name of
+    Some (_, Some thy) => Some thy
+  | _ => None);
 
 fun get_theory name =
   (case lookup_theory name of