Update autoComp.lhs