Update lab6p2.krl