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/Function/context_tree.ML
changeset 33038 8f9594c31de4
parent 33037 b22e44496dc2
child 33049 c38f02fdf35d 
--- a/src/HOL/Tools/Function/context_tree.ML	Tue Oct 20 16:13:01 2009 +0200
+++ b/src/HOL/Tools/Function/context_tree.ML	Wed Oct 21 08:14:38 2009 +0200
@@ -90,7 +90,7 @@
       IntGraph.empty
         |> fold (fn (i,_)=> IntGraph.new_node (i,i)) num_branches
         |> fold_product (fn (i, (c1, _)) => fn (j, (_, t2)) => 
-               if i = j orelse null (gen_inter (op =) (c1, t2))
+               if i = j orelse null (inter (op =) (c1, t2))
                then I else IntGraph.add_edge_acyclic (i,j))
              num_branches num_branches
     end
isabelle