src/HOL/Tools/Function/context_tree.ML
changeset 33037 b22e44496dc2
parent 32035 8e77b6a250d5
child 33038 8f9594c31de4
     1.1 --- a/src/HOL/Tools/Function/context_tree.ML	Tue Oct 20 13:37:56 2009 +0200
     1.2 +++ b/src/HOL/Tools/Function/context_tree.ML	Tue Oct 20 16:13:01 2009 +0200
     1.3 @@ -90,7 +90,7 @@
     1.4        IntGraph.empty
     1.5          |> fold (fn (i,_)=> IntGraph.new_node (i,i)) num_branches
     1.6          |> fold_product (fn (i, (c1, _)) => fn (j, (_, t2)) => 
     1.7 -               if i = j orelse null (c1 inter t2) 
     1.8 +               if i = j orelse null (gen_inter (op =) (c1, t2))
     1.9                 then I else IntGraph.add_edge_acyclic (i,j))
    1.10               num_branches num_branches
    1.11      end