src/Pure/facts.ML
changeset 59883 12a89103cae6
parent 59058 a78612c67ec0
child 59884 bbf49d7dfd6f
--- a/src/Pure/facts.ML	Tue Mar 31 19:39:05 2015 +0200
+++ b/src/Pure/facts.ML	Tue Mar 31 20:07:37 2015 +0200
@@ -166,7 +166,7 @@
 
 (* retrieve *)
 
-val defined = is_some oo (Name_Space.lookup_key o facts_of);
+val defined = Name_Space.defined o facts_of;
 
 fun lookup context facts name =
   (case Name_Space.lookup_key (facts_of facts) name of