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_model.ML
changeset 35408 b48ab741683b
parent 35402 115a5a95710a
child 35625 9c818cab0dd0 
--- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Sat Feb 27 22:52:25 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Sat Feb 27 23:13:01 2010 +0100
@@ -103,7 +103,7 @@
              (case nice_term_ord (t11, t21) of
                 EQUAL => nice_term_ord (t12, t22)
               | ord => ord)
-           | _ => TermOrd.fast_term_ord tp
+           | _ => Term_Ord.fast_term_ord tp
 
 (* nut NameTable.table -> KK.raw_bound list -> nut -> int list list *)
 fun tuple_list_for_name rel_table bounds name =
isabelle