[cvs-nhc98] patch applied (hat): Made hat-delta only jump ahead by 3 steps in the EDT -- this saves calculating the heuristic for nodes below this point, and speeds up the process for large programs.

[Malcolm Wallace]

Mon Oct 17 03:10:25 PDT 2005  tatd2
  * Made hat-delta only jump ahead by 3 steps in the EDT -- this saves calculating the heuristic for nodes below this point, and speeds up the process for large programs.

    M ./src/hattools/EDT.hs -4 +13
    M ./src/hattools/HatDelta.hs -1 +1