project-10-lending - Why was the user's deposited amount(usdc or sol) not deducted when withdraw?

[pzpzpz]

in project-10-lending/programs/lending/src/instructions/withdraw.rs, I find that the use‘s deposited amount was deducted using value of shares_to_remove variable, just like the following：

   if ctx.accounts.mint.to_account_info().key() == user.usdc_address {
        user.deposited_usdc -= shares_to_remove as u64;
    } else {
        user.deposited_sol -= shares_to_remove as u64;
    }

I think it should use amount variable instead of shares_to_remove , is it right?

[baiwfg2]

Yes, I think that's a mistake in the final version of project 10 codes. The associated video also does correctly instead of subtracting shares_to_remove from deposited_xxx

I think we can easily prove it wrong in test cases