fix(spl): modify program to avoid missing function issue#138

jberthold merged 1 commit intoproofsruntimeverification/solana-token:proofsfrom

jh/spl/avoid-minus-1runtimeverification/solana-token:jh/spl/avoid-minus-1Copy head branch name to clipboard