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/Pure/General/heap.ML
changeset 70586 57df8a85317a
parent 32939 1b5a401c78cb 
--- a/src/Pure/General/heap.ML	Tue Aug 20 09:48:22 2019 +0200
+++ b/src/Pure/General/heap.ML	Tue Aug 20 11:01:05 2019 +0200
@@ -20,7 +20,7 @@
   val upto: elem -> T -> elem list * T
 end;
 
-functor Heap(type elem val ord: elem * elem -> order): HEAP =
+functor Heap(type elem val ord: elem ord): HEAP =
 struct
isabelle