Update piggyBank.v