Changed a use of int to std::vector<int>::size_type
Changed a use of int to std::vector<int>::size_type

jwakely/ledger,duncanmortimer/ledger,afh/ledger,duncanmortimer/ledger,duncanmortimer/ledger,duncanmortimer/ledger,jwakely/ledger,paulbdavis/ledger,ledger/ledger,jwakely/ledger,paulbdavis/ledger,afh/ledger,jwakely/ledger,jwakely/ledger,jwakely/ledger,paulbdavis/ledger,ledger/ledger,paulbdavis/ledger,duncanmortimer/ledger,afh/ledger,paulbdavis/ledger,duncanmortimer/ledger,afh/ledger,paulbdavis/ledger,jwakely/ledger,duncanmortimer/ledger,afh/ledger,ledger/ledger,ledger/ledger,paulbdavis/ledger,ledger/ledger