Update IntLoc.scala