src/Pure/section_utils.ML
changeset 3974 d3c2159b75fa
parent 3934 a9c8960e4da6
child 4695 6aa25ee18fc4
--- a/src/Pure/section_utils.ML	Thu Oct 23 12:10:32 1997 +0200
+++ b/src/Pure/section_utils.ML	Thu Oct 23 12:10:55 1997 +0200
@@ -66,5 +66,5 @@
 
 (*Check for some named theory*)
 fun require_thy thy name sect =
-  if exists (equal name o !) (stamps_of_thy thy) then ()
+  if exists (equal name) (Sign.stamp_names_of (sign_of thy)) then ()
   else error ("Need theory " ^ quote name ^ " as an ancestor for " ^ sect);