Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
derived SMT solver classes override inherited properties (properties of derived classes have a higher priority than properties of base classes)
authorboehmes
Mon, 20 Dec 2010 08:45:27 +0100
changeset 41301 0a00fd2f5351
parent 41300 528f5d00b542
child 41302 0485186839a7
derived SMT solver classes override inherited properties (properties of derived classes have a higher priority than properties of base classes)
src/HOL/Tools/SMT/smt_utils.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/SMT/smt_utils.ML	Mon Dec 20 08:17:23 2010 +0100
+++ b/src/HOL/Tools/SMT/smt_utils.ML	Mon Dec 20 08:45:27 2010 +0100
@@ -86,7 +86,8 @@
 
 type 'a dict = (class * 'a) Ord_List.T
 
-fun class_ord ((cs1, _), (cs2, _)) = list_ord fast_string_ord (cs1, cs2)
+fun class_ord ((cs1, _), (cs2, _)) =
+  rev_order (list_ord fast_string_ord (cs1, cs2))
 
 fun dict_insert (cs, x) d =
   if AList.defined (op =) d cs then d
isabelle