| changeset 41301 | 0a00fd2f5351 |
| parent 41280 | a7de9d36f4f2 |
| child 41302 | 0485186839a7 |
--- 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