Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Quot/quotient_typ.ML
changeset 866 f537d570fff8
parent 853 3fd1365f5729
child 885 fe7d27e197e5 
--- a/Quot/quotient_typ.ML	Wed Jan 13 16:23:32 2010 +0100
+++ b/Quot/quotient_typ.ML	Wed Jan 13 16:39:20 2010 +0100
@@ -212,7 +212,7 @@
   fun map_check_aux rty warns =
     case rty of
       Type (_, []) => warns
-    | Type (s, _) => if (maps_exists thy s) then warns else s::warns
+    | Type (s, _) => if (maps_defined thy s) then warns else s::warns
     | _ => warns
 
   val warns = map_check_aux rty []
nominal2