tree e8104f6cd96f59797c7f9b1b1fdb09c10c3a6e9b
parent 97c7b4b6e7ca0d175eeb09c138b594e1904c7045
author Julian Hyde <julianhyde@gmail.com> 1375294759 -0700
committer Julian Hyde <julianhyde@gmail.com> 1375294759 -0700

Fix VolcanoCost so that a < b iff b > a. Without this fix, the first rel in a subset has an advantage over "cheaper" rels that arrive later.