Mercurial Mercurial > repos > isabelle / 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.
src/HOL/Tools/Nitpick/nitpick_kodkod.ML
changeset 46086 096697aec8a7
parent 46085 447cda88adfe
child 46100 30711d9b686e 
--- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Tue Jan 03 18:33:17 2012 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Tue Jan 03 18:33:18 2012 +0100
@@ -786,7 +786,7 @@
                (to_r (Op2 (Less, T, Opt bool_atom_R, u1, u2)))
          | Op2 (Subset, _, _, u1, u2) =>
            let
-             val dom_T = elem_type (type_of u1)
+             val dom_T = pseudo_domain_type (type_of u1)
              val R1 = rep_of u1
              val R2 = rep_of u2
              val (dom_R, ran_R) =
isabelle